RBNpackage
Class CConstrAnd

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

public class CConstrAnd
extends CConstr


Constructor Summary
CConstrAnd(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

CConstrAnd

public CConstrAnd(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