net.sf.bddbddb.dataflow
Class PartialOrder.PartialOrderFact

java.lang.Object
  net.sf.bddbddb.dataflow.PartialOrder.PartialOrderFact

All Implemented Interfaces:

OperationProblem.OperationFact, Problem.Fact

Enclosing class:

PartialOrder

public class PartialOrder.PartialOrderFact
extends java.lang.Object
implements OperationProblem.OperationFact

Constructor Summary

PartialOrder.PartialOrderFact()

Method Summary

Problem.Fact	copy(IterationList loc)
boolean	equals(java.lang.Object o)
PartialOrder.Constraints	getConstraints(Relation r)
PartialOrder.Constraints[]	getConstraintsMap()
IterationList	getLocation()
Operation	getOperation()
int	hashCode()
Problem.Fact	join(Problem.Fact that)
void	setConstraints(Relation r, PartialOrder.Constraints constraints)
void	setLocation(IterationList loc)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PartialOrder.PartialOrderFact

public PartialOrder.PartialOrderFact()

Method Detail

getConstraints

public PartialOrder.Constraints getConstraints(Relation r)

getConstraintsMap

public PartialOrder.Constraints[] getConstraintsMap()

setConstraints

public void setConstraints(Relation r,
                           PartialOrder.Constraints constraints)

getOperation

public Operation getOperation()

Specified by:

getOperation in interface OperationProblem.OperationFact

join

public Problem.Fact join(Problem.Fact that)

Specified by:

join in interface Problem.Fact

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

copy

public Problem.Fact copy(IterationList loc)

Specified by:

copy in interface Problem.Fact

setLocation

public void setLocation(IterationList loc)

Specified by:

setLocation in interface Problem.Fact

getLocation

public IterationList getLocation()

Specified by:

getLocation in interface Problem.Fact

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object