net.sf.bddbddb.order
Class OrderConstraintSet

java.lang.Object
  net.sf.bddbddb.order.OrderConstraintSet

public class OrderConstraintSet
extends java.lang.Object

OrderConstraintSet

Version:

$Id: OrderConstraintSet.java 502 2005-04-13 00:26:23Z joewhaley $

Author:

jwhaley

Constructor Summary

OrderConstraintSet()

OrderConstraintSet(OrderConstraintSet that)

Method Summary

int	approxNumOrders(int n)
boolean	constrain(java.util.Collection c, java.util.Collection invalidConstraints)
boolean	constrain(Order c, java.util.Collection invalidConstraints)
boolean	constrain(OrderConstraint c)
boolean	constrain(OrderConstraintSet ocs, java.util.Collection invalidConstraints)
OrderConstraintSet	copy()
java.math.BigInteger	countAllOrders(java.util.Collection vars)
java.math.BigInteger	countAllOrders(java.util.Collection vars, java.util.Set skip)
java.lang.Object	findEarliest(java.lang.Object o) Find the earliest element in the order.
java.lang.Object	findEarliest(java.lang.Object o, java.util.Set skip) Find the earliest element in the order, other than the orders in the skip set.
java.util.List	generateAllOrders(java.util.Collection vars)
java.util.List	generateAllOrders(java.util.Collection vars, java.util.Set skip)
Order	generateRandomOrder(java.util.Collection vars)
boolean	hasPredecessor(java.lang.Object o, java.util.Collection skip)
static void	main(java.lang.String[] args)
boolean	onlyOneOrder(int n)
int	size()
java.lang.String	toString()
OrderConstraintSet	translate(java.util.Map translationMap)

Methods inherited from class java.lang.Object

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

Constructor Detail

OrderConstraintSet

public OrderConstraintSet()

OrderConstraintSet

public OrderConstraintSet(OrderConstraintSet that)

Method Detail

copy

public OrderConstraintSet copy()

translate

public OrderConstraintSet translate(java.util.Map translationMap)

size

public int size()

constrain

public boolean constrain(OrderConstraintSet ocs,
                         java.util.Collection invalidConstraints)

constrain

public boolean constrain(Order c,
                         java.util.Collection invalidConstraints)

constrain

public boolean constrain(java.util.Collection c,
                         java.util.Collection invalidConstraints)

constrain

public boolean constrain(OrderConstraint c)

findEarliest

public java.lang.Object findEarliest(java.lang.Object o)

Find the earliest element in the order.

findEarliest

public java.lang.Object findEarliest(java.lang.Object o,
                                     java.util.Set skip)

Find the earliest element in the order, other than the orders in the skip set.

hasPredecessor

public boolean hasPredecessor(java.lang.Object o,
                              java.util.Collection skip)

onlyOneOrder

public boolean onlyOneOrder(int n)

approxNumOrders

public int approxNumOrders(int n)

countAllOrders

public java.math.BigInteger countAllOrders(java.util.Collection vars)

countAllOrders

public java.math.BigInteger countAllOrders(java.util.Collection vars,
                                           java.util.Set skip)

generateAllOrders

public java.util.List generateAllOrders(java.util.Collection vars)

generateAllOrders

public java.util.List generateAllOrders(java.util.Collection vars,
                                        java.util.Set skip)

generateRandomOrder

public Order generateRandomOrder(java.util.Collection vars)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

main

public static void main(java.lang.String[] args)