RBNpackage
Class CConstrOr
java.lang.Object
RBNpackage.CConstr
RBNpackage.CConstrOr
public class CConstrOr
- extends CConstr
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
CConstrOr
public CConstrOr(CConstr c1,
CConstr c2)
- Creates new CConstrAnd
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