net.sf.bddbddb.order
Class OrderConstraint.AfterConstraint

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

Enclosing class:

OrderConstraint

public static class OrderConstraint.AfterConstraint
extends OrderConstraint

Nested Class Summary

Nested classes/interfaces inherited from class net.sf.bddbddb.order.OrderConstraint

OrderConstraint.AfterConstraint, OrderConstraint.BeforeConstraint, OrderConstraint.InterleaveConstraint

Field Summary

Fields inherited from class net.sf.bddbddb.order.OrderConstraint

elementComparator

Method Summary

OrderConstraint	getOpposite1()
OrderConstraint	getOpposite2()
int	getType()
boolean	isOpposite(OrderConstraint that)
java.lang.String	toString()
org.jdom.Element	toXMLElement(InferenceRule ir)

Methods inherited from class net.sf.bddbddb.order.OrderConstraint

addXMLContent, compareTo, compareTo, equals, equals, fromXMLElement, getElement, getFirst, getSecond, hashCode, isAttributeConstraint, isVariableConstraint, makeConstraint, makeInterleaveConstraint, makePrecedenceConstraint, obeyedBy

Methods inherited from class java.lang.Object

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getType

public int getType()

Specified by:

getType in class OrderConstraint

isOpposite

public boolean isOpposite(OrderConstraint that)

Specified by:

isOpposite in class OrderConstraint

getOpposite1

public OrderConstraint getOpposite1()

Specified by:

getOpposite1 in class OrderConstraint

getOpposite2

public OrderConstraint getOpposite2()

Specified by:

getOpposite2 in class OrderConstraint

toXMLElement

public org.jdom.Element toXMLElement(InferenceRule ir)

Specified by:

toXMLElement in class OrderConstraint