RBNpackage
Class CConstr

java.lang.Object
  extended by RBNpackage.CConstr
Direct Known Subclasses:
CConstrAnd, CConstrAtom, CConstrEmpty, CConstrEq, CConstrNeg, CConstrOr

public abstract class CConstr
extends java.lang.Object


Constructor Summary
CConstr()
           
 
Method Summary
abstract  java.lang.String asString()
           
abstract  java.lang.String asString(RelStruc A)
           
abstract  java.lang.String[] freevars()
           
abstract  CConstr substitute(java.lang.String[] vars, int[] args)
           
abstract  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

CConstr

public CConstr()
Method Detail

freevars

public abstract java.lang.String[] freevars()

substitute

public abstract CConstr substitute(java.lang.String[] vars,
                                   int[] args)

substitute

public abstract CConstr substitute(java.lang.String[] vars,
                                   java.lang.String[] args)

asString

public abstract java.lang.String asString()

asString

public abstract java.lang.String asString(RelStruc A)