|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Invariant
A graph invariant is a function calculated on a graph. Its value could be integer, double, boolean and other types.
For instance, the number of vertices in a graph is an invariant. An invariant which returns true if the graph is connected is also an invariant.
The invariants are classified according to the type of their return value.
For instance, the invariants which return integer must implement the
interface InvariantInt
. There is an
interface for each of the return types, and this is a base interface for all
of those.
Method Summary | |
---|---|
java.lang.String |
getDescription()
Retrieves the description of the invariant. |
java.lang.String |
getName()
Retrieves the name of the invariant. |
Method Detail |
---|
java.lang.String getName()
java.lang.String getDescription()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |