net.sf.bddbddb.dataflow
Class RelationProblem.RelationFacts

java.lang.Object
  net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

All Implemented Interfaces:

Problem.Fact

Direct Known Subclasses:

ConstantProp.ConstantPropFacts

Enclosing class:

RelationProblem

public static class RelationProblem.RelationFacts
extends java.lang.Object
implements Problem.Fact

Field Summary

java.util.Map

relationFacts

Constructor Summary

RelationProblem.RelationFacts()

Method Summary

Problem.Fact	copy(IterationList loc)
RelationProblem.RelationFacts	create()
boolean	equals(java.lang.Object o)
boolean	equals(RelationProblem.RelationFacts that)
RelationProblem.RelationFact	getFact(Relation r) Returns the fact associated with a relation.
IterationList	getLocation()
int	hashCode()
void	initialize()
Problem.Fact	join(Problem.Fact fact)
void	setLocation(IterationList loc)

Methods inherited from class java.lang.Object

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

Field Detail

relationFacts

public java.util.Map relationFacts

Constructor Detail

RelationProblem.RelationFacts

public RelationProblem.RelationFacts()

Method Detail

create

public RelationProblem.RelationFacts create()

initialize

public void initialize()

join

public Problem.Fact join(Problem.Fact fact)

Specified by:

join in interface Problem.Fact

copy

public Problem.Fact copy(IterationList loc)

Specified by:

copy in interface Problem.Fact

getFact

public RelationProblem.RelationFact getFact(Relation r)

Returns the fact associated with a relation.

Parameters:

r - relation

Returns:

the fact for this relation

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(RelationProblem.RelationFacts that)

Parameters:

that - the other collection of relation facts

Returns:

true if all relation facts are equal

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

setLocation

public void setLocation(IterationList loc)

Specified by:

setLocation in interface Problem.Fact

getLocation

public IterationList getLocation()

Specified by:

getLocation in interface Problem.Fact