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 Description

Concept greater
The greater of the concepts (i.e.

Concept lesser
The lesser of the concepts (i.e.

Constructor Summary

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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
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()