RBNpackage
Class CConstrEmpty

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

public class CConstrEmpty
extends CConstr


Constructor Summary
CConstrEmpty()
          Creates new CConstrEmpty
 
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

CConstrEmpty

public CConstrEmpty()
Creates new CConstrEmpty

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