mln
Class AtomTuple

java.lang.Object
  extended by mln.AtomTuple

public class AtomTuple
extends java.lang.Object

tuple of terms

Author:
Jason

Field Summary
 int dimension
           
 int[] list
          positive: constant; negative: variable (cononicalized)
 
Constructor Summary
AtomTuple(java.util.ArrayList<java.lang.Integer> args)
          assuming args is already canonicalized
 
Method Summary
 boolean equals(AtomTuple other)
           
 int get(int i)
           
 boolean subsumes(AtomTuple other)
          test subsumption
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

list

public int[] list
positive: constant; negative: variable (cononicalized)


dimension

public int dimension
Constructor Detail

AtomTuple

public AtomTuple(java.util.ArrayList<java.lang.Integer> args)
assuming args is already canonicalized

Parameters:
args -
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

get

public int get(int i)

equals

public boolean equals(AtomTuple other)

subsumes

public boolean subsumes(AtomTuple other)
test subsumption

Returns:
1 if subsumes, 0 if equiv, -1 if neither