Uses of Class
ubc.cs.JLog.Terms.jConjunctTerm

Packages that use jConjunctTerm

ubc.cs.JLog.Terms

Uses of jConjunctTerm in ubc.cs.JLog.Terms

Subclasses of jConjunctTerm in ubc.cs.JLog.Terms

class	jCons
class	jIf
class	jOr

Methods in ubc.cs.JLog.Terms that return jConjunctTerm

jConjunctTerm	jIf.duplicate(jTerm l, jTerm r)
jConjunctTerm	jOr.duplicate(jTerm l, jTerm r)
jConjunctTerm	jCons.duplicate(jTerm l, jTerm r)
protected abstract jConjunctTerm	jConjunctTerm.duplicate(jTerm l, jTerm r)