net.sf.bddbddb.order
Class OrderConstraint

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

Direct Known Subclasses:

OrderConstraint.AfterConstraint, OrderConstraint.BeforeConstraint, OrderConstraint.InterleaveConstraint

public abstract class OrderConstraint
extends java.lang.Object

OrderConstraint

Version:

$Id: OrderConstraint.java 435 2005-02-13 03:24:59Z cs343 $

Author:

jwhaley

Nested Class Summary

static class	OrderConstraint.AfterConstraint
static class	OrderConstraint.BeforeConstraint
static class	OrderConstraint.InterleaveConstraint

Field Summary

static java.util.Comparator

elementComparator

Constructor Summary

protected

OrderConstraint(java.lang.Object a, java.lang.Object b)

Method Summary

protected void	addXMLContent(org.jdom.Element e, InferenceRule ir)
int	compareTo(java.lang.Object o)
int	compareTo(OrderConstraint o)
boolean	equals(java.lang.Object o)
boolean	equals(OrderConstraint that)
static OrderConstraint	fromXMLElement(org.jdom.Element e, XMLFactory f)
protected static java.lang.Object	getElement(org.jdom.Element e, XMLFactory f)
java.lang.Object	getFirst()
abstract OrderConstraint	getOpposite1()
abstract OrderConstraint	getOpposite2()
java.lang.Object	getSecond()
abstract int	getType()
int	hashCode()
boolean	isAttributeConstraint()
abstract boolean	isOpposite(OrderConstraint that)
boolean	isVariableConstraint()
static OrderConstraint	makeConstraint(int type, java.lang.Object a, java.lang.Object b)
static OrderConstraint	makeInterleaveConstraint(java.lang.Object a, java.lang.Object b)
static OrderConstraint	makePrecedenceConstraint(java.lang.Object a, java.lang.Object b)
boolean	obeyedBy(Order o)
abstract org.jdom.Element	toXMLElement(InferenceRule ir)

Methods inherited from class java.lang.Object

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

Field Detail

elementComparator

public static final java.util.Comparator elementComparator

Constructor Detail

OrderConstraint

protected OrderConstraint(java.lang.Object a,
                          java.lang.Object b)

Method Detail

makeConstraint

public static OrderConstraint makeConstraint(int type,
                                             java.lang.Object a,
                                             java.lang.Object b)

makePrecedenceConstraint

public static OrderConstraint makePrecedenceConstraint(java.lang.Object a,
                                                       java.lang.Object b)

makeInterleaveConstraint

public static OrderConstraint makeInterleaveConstraint(java.lang.Object a,
                                                       java.lang.Object b)

getFirst

public java.lang.Object getFirst()

getSecond

public java.lang.Object getSecond()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(OrderConstraint that)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

compareTo

public int compareTo(java.lang.Object o)

compareTo

public int compareTo(OrderConstraint o)

isAttributeConstraint

public boolean isAttributeConstraint()

isVariableConstraint

public boolean isVariableConstraint()

obeyedBy

public boolean obeyedBy(Order o)

getType

public abstract int getType()

isOpposite

public abstract boolean isOpposite(OrderConstraint that)

getOpposite1

public abstract OrderConstraint getOpposite1()

getOpposite2

public abstract OrderConstraint getOpposite2()

toXMLElement

public abstract org.jdom.Element toXMLElement(InferenceRule ir)

fromXMLElement

public static OrderConstraint fromXMLElement(org.jdom.Element e,
                                             XMLFactory f)

addXMLContent

protected void addXMLContent(org.jdom.Element e,
                             InferenceRule ir)

getElement

protected static java.lang.Object getElement(org.jdom.Element e,
                                             XMLFactory f)