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

# public abstract class Interface

(source file: Interface.java)

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

The pure class interface.

    public abstract class Interface
      extends Printable

  An interface for a constraint set consists of a list of variables v1...vn.

##

Interface()

##

con
  The constraint set the variables come from.
high
  The finishing index for the interface, plus 1.
low
  The starting index for the interface.
vars
  An array containing the list of variables.

##

botOr(int)
  Return v1 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 vn 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.

  Parameters:
    i - an interface w1...wm.
  Returns:
    the interface v1...vnw1...wm.

empty

    public Interface empty();

  An empty interface.

  Returns:
    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.

  Parameters:
    Y - the first object.
    Z - the second object.
  Returns:
    v1...vY.size.

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.

  Parameters:
    Y - the first object.
    Z - the second object.
  Returns:
    vY.size+1...vn.

botOr

    public int botOr(int x);

  Return v1 if it exists, otherwise return x.

  Parameters:
    x - the variable to return if n = 0.
  Returns:
    v1 if it exists, otherwise x.

topOr

    public int topOr(int x);

  Return vn if it exists, otherwise return x.

  Parameters:
    x - the variable to return if n = 0.
  Returns:
    vn if it exists, otherwise x.

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

###### Interface.html