org.grinvin.invariants
Class AbstractInvariant
java.lang.Object
org.grinvin.invariants.AbstractInvariant
- Expression, Invariant, InvariantExpressionNode, InvariantNode
public abstract class AbstractInvariant
extends java.lang.Object
String toString
public abstract @Override String toString()
Return the localized name of the invariant.
boolean equals
public @Override 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.
- getId in interface Invariant
int hashCode
public @Override int hashCode()
The hash value of an invariant is the hash value of its identifier.