RBNpackage
Class CConstrOr

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

public class CConstrOr
extends CConstr


Constructor Summary
CConstrOr(CConstr c1, CConstr c2)
          Creates new CConstrAnd
 
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

CConstrOr

public CConstrOr(CConstr c1,
                 CConstr c2)
Creates new CConstrAnd

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