|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||