|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface InvariantInt
The invariants which return an int value must implement this interface.
For more info, see Invariant.
| Method Summary | |
|---|---|
int |
calculate(GraphData data)
Calculates the value of the invariant. |
| Methods inherited from interface scg.ac.ni.pmf.newgraph.invariants.Invariant |
|---|
getDescription, getName |
| Method Detail |
|---|
int calculate(GraphData data)
data - The graph data.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||