
[all packages] 
[package ] 
[class hierarchy] 
[index]

public abstract class Interface

(source file: Interface.java)

java.lang.Object
   |
   +----Printable
           |
           +----Interface

public abstract class Interface
  extends Printable

An interface for a constraint set consists of a list of variables v₁...v_n.

botOr(int): Return v₁ if it exists, otherwise return x.
empty(): An empty interface.
print(Printer)
splitL(Obj, Obj): Split the interfce into two parts and return the first. This interface must have size
splitR(Obj, Obj): Split the interfce into two parts and return the second. This interface must have size
tensor(Interface): Concatenate this interface with another one.
topOr(int): Return v_n if it exists, otherwise return x.

Interface

public Interface();

vars

public int[] vars;

An array containing the list of variables.

low

public int low;

The starting index for the interface.

high

public int high;

The finishing index for the interface, plus 1.

con

public Constraints con;

The constraint set the variables come from.

print

public void print(Printer p);

tensor

public Interface tensor(Interface i);

Concatenate this interface with another one.

empty

public Interface empty();

An empty interface.

splitL

public Interface splitL(Obj Y,
                        Obj Z);

Split the interfce into two parts and return the first. This interface must have size Y.size + Z.size, otherwise a semantic error will be thrown.

splitR

public Interface splitR(Obj Y,
                        Obj Z);

Split the interfce into two parts and return the second. This interface must have size Y.size + Z.size, otherwise a semantic error will be thrown.

botOr

public int botOr(int x);

Return v₁ if it exists, otherwise return x.

topOr

public int topOr(int x);

Return v_n if it exists, otherwise return x.


[all packages] 
[package ] 
[class hierarchy] 
[index]