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