net.sf.bddbddb.order
Class OrderConstraint.BeforeConstraint

java.lang.Object
  extended by net.sf.bddbddb.order.OrderConstraint
      extended by net.sf.bddbddb.order.OrderConstraint.BeforeConstraint
Enclosing class:
OrderConstraint

public static class OrderConstraint.BeforeConstraint
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


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.