net.sf.bddbddb.dataflow
Class PartialOrder.Constraints

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

Enclosing class:

PartialOrder

public static class PartialOrder.Constraints
extends java.lang.Object

Constructor Summary

PartialOrder.Constraints()

PartialOrder.Constraints(java.util.SortedSet constraints)

Method Summary

void	addBeforeConstraint(PartialOrder.Constraint c)
void	addInterleavedConstraint(PartialOrder.Constraint c)
java.util.List	buildGraphAndReps()
PartialOrder.Constraints	copy()
void	doTransitiveClosure()
java.util.Collection	doTransitiveClosure(java.util.Collection constraints)
boolean	equals(java.lang.Object o)
java.util.SortedSet	getAllConstraints()
java.util.Collection	getBeforeConstraints()
java.util.SortedSet	getInterleavedConstraints()
java.util.SortedSet	getRelevantConstraints(java.util.Collection attributes)
int	hashCode()
boolean	isEmpty()
PartialOrder.Constraints	join(PartialOrder.Constraints that)
java.util.List	relevantBeforeConstraints(java.util.Collection attributes)
java.util.List	relevantInterConstraints(java.util.Collection attributes)
java.util.List	removeInvolving(Attribute a)
void	satisfy()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialOrder.Constraints

public PartialOrder.Constraints()

PartialOrder.Constraints

public PartialOrder.Constraints(java.util.SortedSet constraints)

Method Detail

getRelevantConstraints

public java.util.SortedSet getRelevantConstraints(java.util.Collection attributes)

getBeforeConstraints

public java.util.Collection getBeforeConstraints()

getInterleavedConstraints

public java.util.SortedSet getInterleavedConstraints()

getAllConstraints

public java.util.SortedSet getAllConstraints()

relevantBeforeConstraints

public java.util.List relevantBeforeConstraints(java.util.Collection attributes)

relevantInterConstraints

public java.util.List relevantInterConstraints(java.util.Collection attributes)

addBeforeConstraint

public void addBeforeConstraint(PartialOrder.Constraint c)

addInterleavedConstraint

public void addInterleavedConstraint(PartialOrder.Constraint c)

copy

public PartialOrder.Constraints copy()

removeInvolving

public java.util.List removeInvolving(Attribute a)

buildGraphAndReps

public java.util.List buildGraphAndReps()

satisfy

public void satisfy()

join

public PartialOrder.Constraints join(PartialOrder.Constraints that)

isEmpty

public boolean isEmpty()

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

doTransitiveClosure

public void doTransitiveClosure()

doTransitiveClosure

public java.util.Collection doTransitiveClosure(java.util.Collection constraints)