net.sf.bddbddb.ir
Class DomainAssignment

java.lang.Object
  net.sf.bddbddb.ir.DomainAssignment

All Implemented Interfaces:

DynamicOperationVisitor, HighLevelOperationVisitor, LowLevelOperationVisitor, OperationVisitor

Direct Known Subclasses:

UFDomainAssignment

public abstract class DomainAssignment
extends java.lang.Object
implements OperationVisitor

DomainAssignment

Version:

$Id: DomainAssignment.java 522 2005-04-29 02:34:44Z joewhaley $

Author:

John Whaley

Constructor Summary

DomainAssignment(Solver s)

DomainAssignment(Solver s, PartialOrder.Constraints[] constraints)

Method Summary

void	addConstraints(IterationList list)
abstract void	doAssignment()
void	forceConstraints(Relation r)
void	loadDomainAssignment(java.io.BufferedReader in)
abstract void	saveDomainAssignment(java.io.BufferedWriter out)
abstract void	setVariableOrdering()
java.lang.Object	visit(ApplyEx op)
java.lang.Object	visit(BDDProject op)
java.lang.Object	visit(Copy op)
java.lang.Object	visit(Difference op)
java.lang.Object	visit(Free op)
java.lang.Object	visit(GenConstant op)
java.lang.Object	visit(If op)
java.lang.Object	visit(Invert op)
java.lang.Object	visit(Join op)
java.lang.Object	visit(JoinConstant op)
java.lang.Object	visit(Load op)
java.lang.Object	visit(Nop op)
java.lang.Object	visit(Project op)
java.lang.Object	visit(Rename op)
java.lang.Object	visit(Replace op)
java.lang.Object	visit(Save op)
java.lang.Object	visit(Union op)
java.lang.Object	visit(Universe op)
java.lang.Object	visit(Zero op)

Methods inherited from class java.lang.Object

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

Constructor Detail

DomainAssignment

public DomainAssignment(Solver s)

DomainAssignment

public DomainAssignment(Solver s,
                        PartialOrder.Constraints[] constraints)

Method Detail

doAssignment

public abstract void doAssignment()

addConstraints

public void addConstraints(IterationList list)

forceConstraints

public void forceConstraints(Relation r)

visit

public java.lang.Object visit(Join op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Project op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(BDDProject op)

Specified by:

visit in interface LowLevelOperationVisitor

visit

public java.lang.Object visit(Rename op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Union op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Difference op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(JoinConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(GenConstant op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Free op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Universe op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Zero op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Invert op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Copy op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Replace op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Load op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(Save op)

Specified by:

visit in interface HighLevelOperationVisitor

Parameters:

op - the operation

Returns:

the result

visit

public java.lang.Object visit(ApplyEx op)

Specified by:

visit in interface LowLevelOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(If op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

visit

public java.lang.Object visit(Nop op)

Specified by:

visit in interface DynamicOperationVisitor

Returns:

the result

saveDomainAssignment

public abstract void saveDomainAssignment(java.io.BufferedWriter out)
                                   throws java.io.IOException

Throws:

java.io.IOException

loadDomainAssignment

public void loadDomainAssignment(java.io.BufferedReader in)
                          throws java.io.IOException

Throws:

java.io.IOException

setVariableOrdering

public abstract void setVariableOrdering()