Interface IFixedPointSystem<T extends IVariable<T>>
- All Known Implementing Classes:
DefaultFixedPointSystem
,PropagationGraph
public interface IFixedPointSystem<T extends IVariable<T>>
Represents a set of
IFixedPointStatement
s to be solved by a IFixedPointSolver
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addStatement
(IFixedPointStatement<T> statement) Add a statement to the systemboolean
boolean
int
int
Iterator
<? extends INodeWithNumber> Return an Iterator of theIFixedPointStatement
s in this systemIterator
<? extends INodeWithNumber> Iterator
<? extends INodeWithNumber> Iterator
<? extends INodeWithNumber> Return an Iterator of the variables in this graphvoid
removeStatement
(IFixedPointStatement<T> statement) removes a given statementvoid
reorder()
reorder the statements in this system
-
Method Details
-
removeStatement
removes a given statement -
addStatement
Add a statement to the system -
getStatements
Iterator<? extends INodeWithNumber> getStatements()Return an Iterator of theIFixedPointStatement
s in this system- Returns:
Iterator
<Constraint>
-
getVariables
Iterator<? extends INodeWithNumber> getVariables()Return an Iterator of the variables in this graph -
containsStatement
- Returns:
- true iff this system already contains an equation that is equal() to s
-
containsVariable
- Returns:
- true iff this system already contains a variable that is equal() to v.
-
getStatementsThatUse
- Returns:
Iterator
<statement>, the statements that use the variable
-
getStatementsThatDef
- Returns:
Iterator
<statement>, the statements that def the variable
-
getNumberOfStatementsThatUse
-
getNumberOfStatementsThatDef
-
reorder
void reorder()reorder the statements in this system
-