public class DefaultFixedPointSystem<T extends IVariable<?>> extends Object implements IFixedPointSystem<T>
Constructor and Description |
---|
DefaultFixedPointSystem()
default constructor ...
|
DefaultFixedPointSystem(int expectedOut) |
public DefaultFixedPointSystem(int expectedOut)
expectedOut
- number of expected out edges in the "usual" case
for constraints .. used to tune graph representationpublic DefaultFixedPointSystem()
public void removeStatement(IFixedPointStatement<T> s)
IFixedPointSystem
removeStatement
in interface IFixedPointSystem<T extends IVariable<?>>
public Iterator<AbstractStatement> getStatements()
IFixedPointSystem
IFixedPointStatement
s in this systemgetStatements
in interface IFixedPointSystem<T extends IVariable<?>>
public void addStatement(IFixedPointStatement statement) throws IllegalArgumentException, UnimplementedError
IFixedPointSystem
addStatement
in interface IFixedPointSystem<T extends IVariable<?>>
IllegalArgumentException
UnimplementedError
public void addStatement(GeneralStatement<?> s)
public void addStatement(UnaryStatement<?> s)
public void addStatement(NullaryStatement<?> s)
public void addVariable(T v)
public AbstractStatement<?,?> getStep(int number)
public void reorder()
IFixedPointSystem
reorder
in interface IFixedPointSystem<T extends IVariable<?>>
public Iterator<?> getStatementsThatUse(T v)
getStatementsThatUse
in interface IFixedPointSystem<T extends IVariable<?>>
public Iterator<?> getStatementsThatDef(T v)
getStatementsThatDef
in interface IFixedPointSystem<T extends IVariable<?>>
public T getVariable(int n)
public int getNumberOfStatementsThatUse(T v)
getNumberOfStatementsThatUse
in interface IFixedPointSystem<T extends IVariable<?>>
public int getNumberOfStatementsThatDef(T v)
getNumberOfStatementsThatDef
in interface IFixedPointSystem<T extends IVariable<?>>
public Iterator<T> getVariables()
IFixedPointSystem
getVariables
in interface IFixedPointSystem<T extends IVariable<?>>
public int getNumberOfNodes()
public Iterator<? extends INodeWithNumber> getPredNodes(INodeWithNumber n)
public int getPredNodeCount(INodeWithNumber n)
public boolean containsStatement(IFixedPointStatement<T> s)
containsStatement
in interface IFixedPointSystem<T extends IVariable<?>>
public boolean containsVariable(T v)
containsVariable
in interface IFixedPointSystem<T extends IVariable<?>>