org.grinvin.invariants

Interface InvariantValue

Known Implementing Classes:
AbstractInvariantValue, BooleanValue, IntegerMatrixValue, IntegerValue, ListOfIntegersValue, ListOfRealsValue, NumericValue, RealValue, UnavailableValue

public interface InvariantValue

Interface that should be implemented by all classes that represent an invariant value.

Method Summary

String
getComputerId()
Return the ID of the computer that computed this value.
String
getComputerVersion()
Return the version of the computer that computed this value.
Invariant
getInvariant()
What is the invariant that is represented with this value?
InvariantType
getType()
Return the InvariantType of this value.
String
toText()
Return a String representation of this value.

Method Details

getComputerId

public String getComputerId()
Return the ID of the computer that computed this value.

getComputerVersion

public String getComputerVersion()
Return the version of the computer that computed this value.

getInvariant

public Invariant getInvariant()
What is the invariant that is represented with this value?

getType

public InvariantType getType()
Return the InvariantType of this value.

toText

public String toText()
Return a String representation of this value.