ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis

Class MonotonicityCounterexamples.ConceptPair

java.lang.Object

ptolemy.data.ontologies.lattice.adapters.monotonicityAnalysis.MonotonicityCounterexamples.ConceptPair

All Implemented Interfaces:

java.util.Map.Entry<Concept,Concept>

Enclosing class:

MonotonicityCounterexamples

public static class MonotonicityCounterexamples.ConceptPair
extends java.lang.Object
implements java.util.Map.Entry<Concept,Concept>

Encapsulate counterexample pairs. These are pairs of the form (x1, x2) where x1 ≤ x2, but f(x1) \not ≤ f(x2) for the function under consideration. Thus, these pairs prove as counterexamples to the monotonicity of f.

Field Summary

Fields

Modifier and Type	Field and Description
Concept	greater The greater of the concepts (i.e. x2)
Concept	lesser The lesser of the concepts (i.e. x1)

Constructor Summary

Constructors

Constructor and Description
ConceptPair(Concept l, Concept g) Create a counterexample pair given both of the concepts that make up the counterexample.

Method Summary

Modifier and Type	Method and Description
Concept	getKey() Return the lesser concept of the counterexample.
Concept	getValue() Return the greater concept of the counterexample.
Concept	setValue(Concept value) Do nothing.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Map.Entry

comparingByKey, comparingByKey, comparingByValue, comparingByValue, equals, hashCode

Field Detail

lesser

public Concept lesser

The lesser of the concepts (i.e. x1)

greater

public Concept greater

The greater of the concepts (i.e. x2)

Constructor Detail

ConceptPair

public ConceptPair(Concept l,
                   Concept g)

Create a counterexample pair given both of the concepts that make up the counterexample.

Parameters:

l - The lesser concept, i.e. x1

g - The greater concept, i.e. x2

Method Detail

getKey

public Concept getKey()

Return the lesser concept of the counterexample.

Specified by:

getKey in interface java.util.Map.Entry<Concept,Concept>

Returns:

The lesser concept.

See Also:

Map.Entry.getKey()

getValue

public Concept getValue()

Return the greater concept of the counterexample.

Specified by:

getValue in interface java.util.Map.Entry<Concept,Concept>

Returns:

The greater concept

See Also:

Map.Entry.getValue(), setValue(Concept)

setValue

public Concept setValue(Concept value)

Do nothing. (Counterexamples are immutable)

Specified by:

setValue in interface java.util.Map.Entry<Concept,Concept>

Parameters:

value - Ignored

Returns:

Always return null.

See Also:

Map.Entry.setValue(java.lang.Object), getValue()