RBNpackage
Class CConstrEq
java.lang.Object
RBNpackage.CConstr
RBNpackage.CConstrEq
public class CConstrEq
- extends CConstr
Constructor Summary |
CConstrEq(java.lang.String arg1,
java.lang.String arg2)
Creates new CConstrAtom |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CConstrEq
public CConstrEq(java.lang.String arg1,
java.lang.String arg2)
- Creates new CConstrAtom
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