net.sf.bddbddb.dataflow
Class PartialRedundancy.Available.AvailableFact

java.lang.Object
  net.sf.bddbddb.dataflow.PartialRedundancy.Available.AvailableFact

All Implemented Interfaces:

OperationProblem.OperationFact, Problem.Fact

Enclosing class:

PartialRedundancy.Available

public class PartialRedundancy.Available.AvailableFact
extends java.lang.Object

Field Summary

net.sf.bddbddb.dataflow.PartialRedundancy.ExpressionSet

expressions

Constructor Summary

PartialRedundancy.Available.AvailableFact()

Method Summary

boolean	addExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)
boolean	addExpressions(java.util.Set e)
boolean	containsExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)
net.sf.bddbddb.dataflow.PartialRedundancy.PreFact	copy()
Problem.Fact	copy(IterationList list)
net.sf.bddbddb.dataflow.PartialRedundancy.PreFact	create()
boolean	equals(java.lang.Object o)
java.util.Set	getExpressions()
IterationList	getLocation()
Operation	getOperation()
int	hashCode()
Problem.Fact	join(Problem.Fact that)
void	killExpressions(Operation op)
boolean	removeExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)
boolean	removeExpressions(java.util.Set e)
void	setLocation(IterationList list)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

expressions

public net.sf.bddbddb.dataflow.PartialRedundancy.ExpressionSet expressions

Constructor Detail

PartialRedundancy.Available.AvailableFact

public PartialRedundancy.Available.AvailableFact()

Method Detail

create

public net.sf.bddbddb.dataflow.PartialRedundancy.PreFact create()

join

public Problem.Fact join(Problem.Fact that)

containsExpression

public boolean containsExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)

addExpression

public boolean addExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)

addExpressions

public boolean addExpressions(java.util.Set e)

removeExpression

public boolean removeExpression(net.sf.bddbddb.dataflow.PartialRedundancy.Expression e)

removeExpressions

public boolean removeExpressions(java.util.Set e)

getExpressions

public java.util.Set getExpressions()

copy

public Problem.Fact copy(IterationList list)

Specified by:

copy in interface Problem.Fact

setLocation

public void setLocation(IterationList list)

Specified by:

setLocation in interface Problem.Fact

killExpressions

public void killExpressions(Operation op)

getLocation

public IterationList getLocation()

Specified by:

getLocation in interface Problem.Fact

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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 net.sf.bddbddb.dataflow.PartialRedundancy.PreFact copy()

getOperation

public Operation getOperation()

Specified by:

getOperation in interface OperationProblem.OperationFact