org.grinvin.invariants
Class Invariant
java.lang.Object
org.grinvin.invariants.Invariant
- InvariantNode
public abstract class Invariant
extends java.lang.Object
Represents the mathematical concept of graph invariant, like 'diameter',
'average degree', 'largest eigenvalue'... Is uniquely identified
by an identifier string. Mapping between identifier strings and
invariant instances is done by the invariant manager.
void | accept(Visitor visitor)
|
boolean | equals(Object obj) - Two invariants are equal if and only if their identifiers are
the same.
|
Iterable | getChildren() - Returns null.
|
abstract String | getId() - Universally unique identifier for this invariant.
|
abstract String | getName() - Returns the localized name of the invariant.
|
abstract Class | getType() - Returns the class to which all values of this invariant belong.
|
int | hashCode() - The hash value of an invariant is the hash value of its identifier.
|
abstract String | toString() - Return the localized name of the invariant.
|
accept
public void accept(Visitor visitor)
equals
public boolean equals(Object obj)
Two invariants are equal if and only if their identifiers are
the same.
getChildren
public Iterable getChildren()
Returns null. An invariant cannot have other invariant nodes as
children.
- getChildren in interface InvariantNode
getId
public abstract String getId()
Universally unique identifier for this invariant.
getName
public abstract String getName()
Returns the localized name of the invariant.
- getName in interface InvariantNode
getType
public abstract Class getType()
Returns the class to which all values of this invariant belong.
This class must be an extension of
InvariantValue
.
hashCode
public int hashCode()
The hash value of an invariant is the hash value of its identifier.
toString
public abstract String toString()
Return the localized name of the invariant.