RBNpackage
Class CConstrEq

java.lang.Object
  extended by RBNpackage.CConstr
      extended by RBNpackage.CConstrEq

public class CConstrEq
extends CConstr


Constructor Summary
CConstrEq(java.lang.String arg1, java.lang.String arg2)
          Creates new CConstrAtom
 
Method Summary
 java.lang.String asString()
           
 java.lang.String asString(RelStruc A)
           
 java.lang.String[] freevars()
           
 CConstr substitute(java.lang.String[] vars, int[] args)
           
 CConstr substitute(java.lang.String[] vars, java.lang.String[] args)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CConstrEq

public CConstrEq(java.lang.String arg1,
                 java.lang.String arg2)
Creates new CConstrAtom

Method Detail

freevars

public java.lang.String[] freevars()
Specified by:
freevars in class CConstr

substitute

public CConstr substitute(java.lang.String[] vars,
                          int[] args)
Specified by:
substitute in class CConstr

substitute

public CConstr substitute(java.lang.String[] vars,
                          java.lang.String[] args)
Specified by:
substitute in class CConstr

asString

public java.lang.String asString()
Specified by:
asString in class CConstr

asString

public java.lang.String asString(RelStruc A)
Specified by:
asString in class CConstr