RBNpackage
Class CConstrAtom

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

public class CConstrAtom
extends CConstr


Constructor Summary
CConstrAtom(Rel r, java.lang.String[] args)
          Creates new CConstrAtom
 
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

CConstrAtom

public CConstrAtom(Rel r,
                   java.lang.String[] args)
Creates new CConstrAtom

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