coins.simd
クラス LirOrder

java.lang.Object
  |
  +--coins.simd.LirOrder
すべての実装インタフェース:
java.util.Comparator

public class LirOrder
extends java.lang.Object
implements java.util.Comparator

Class for order relation of L-expressions


コンストラクタの概要
LirOrder()
           
 
メソッドの概要
 void add(LirNode e1, LirNode e2)
          Adds to an order relation
 int compare(java.lang.Object o1, java.lang.Object o2)
          Compares ordering of objects
 boolean equals(java.lang.Object o)
          Checks if an object is equal to this
 void printOrder()
          Prints an order relation
 void put(Relation r)
          Puts a relation to an order relation
 void saturate()
          Saturates an order
 
クラス java.lang.Object から継承したメソッド
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

コンストラクタの詳細

LirOrder

public LirOrder()
メソッドの詳細

saturate

public void saturate()
              throws SimdOptException
Saturates an order

SimdOptException

put

public void put(Relation r)
Puts a relation to an order relation

パラメータ:
r - Relation

add

public void add(LirNode e1,
                LirNode e2)
         throws SimdOptException
Adds to an order relation

パラメータ:
e1 - LirNode
e2 - LirNode
SimdOptException

compare

public int compare(java.lang.Object o1,
                   java.lang.Object o2)
Compares ordering of objects

定義:
インタフェース java.util.Comparator 内の compare
パラメータ:
o1 - Object
o2 - Object
戻り値:
int

equals

public boolean equals(java.lang.Object o)
Checks if an object is equal to this

定義:
インタフェース java.util.Comparator 内の equals
オーバーライド:
クラス java.lang.Object 内の equals
パラメータ:
o - Object
戻り値:
boolean

printOrder

public void printOrder()
Prints an order relation