coins.simd
Class LirOrder

java.lang.Object
  coins.simd.LirOrder

All Implemented Interfaces:

java.util.Comparator

public class LirOrder

extends java.lang.Object

implements java.util.Comparator

Class for order relation of L-expressions

Constructor Summary

LirOrder()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

LirOrder

public LirOrder()

Method Detail

saturate

public void saturate()
              throws SimdOptException

Saturates an order

Throws:

SimdOptException

put

public void put(Relation r)

Puts a relation to an order relation

Parameters:

r - Relation

add

public void add(LirNode e1,
                LirNode e2)
         throws SimdOptException

Adds to an order relation

Parameters:

e1 - LirNode

e2 - LirNode

Throws:

SimdOptException

compare

public int compare(java.lang.Object o1,
                   java.lang.Object o2)

Compares ordering of objects

Specified by:

compare in interface java.util.Comparator

Parameters:

o1 - Object

o2 - Object

Returns:

int

equals

public boolean equals(java.lang.Object o)

Checks if an object is equal to this

Specified by:

equals in interface java.util.Comparator

Parameters:

o - Object

Returns:

boolean

printOrder

public void printOrder()

Prints an order relation