net.sf.bddbddb.ir
Class PartialOrderDomainAssignment

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

All Implemented Interfaces:

DynamicOperationVisitor, HighLevelOperationVisitor, LowLevelOperationVisitor, OperationVisitor

public class PartialOrderDomainAssignment
extends UFDomainAssignment

PartialOrderDomainAssignment

Version:

$Id: PartialOrderDomainAssignment.java 622 2005-08-30 11:06:31Z joewhaley $

Author:

John Whaley

Constructor Summary

PartialOrderDomainAssignment(Solver s, PartialOrder.Constraints[] constraintMap)

Method Summary

void	doAssignment()
static java.lang.String	graphToOrder(boolean trace, PartialOrder.ConstraintGraph graph, jwutil.collections.UnionFindWithConstraints uf, jwutil.collections.MultiMap ileavedDomains, java.util.Map domainMap)
void	saveDomainAssignment(java.io.BufferedWriter out)
void	setVariableOrdering()

Methods inherited from class net.sf.bddbddb.ir.DomainAssignment

addConstraints, forceConstraints, loadDomainAssignment, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialOrderDomainAssignment

public PartialOrderDomainAssignment(Solver s,
                                    PartialOrder.Constraints[] constraintMap)

Parameters:

s -

Method Detail

doAssignment

public void doAssignment()

Overrides:

doAssignment in class UFDomainAssignment

setVariableOrdering

public void setVariableOrdering()

Overrides:

setVariableOrdering in class UFDomainAssignment

graphToOrder

public static java.lang.String graphToOrder(boolean trace,
                                            PartialOrder.ConstraintGraph graph,
                                            jwutil.collections.UnionFindWithConstraints uf,
                                            jwutil.collections.MultiMap ileavedDomains,
                                            java.util.Map domainMap)

saveDomainAssignment

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

Overrides:

saveDomainAssignment in class UFDomainAssignment

Throws:

java.io.IOException