|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectgnu.prolog.term.TermUtils
public class TermUtils
| Method Summary | |
|---|---|
static Term |
getExistentialVariableSet(Term term,
Set<Term> set)
get existential variable set |
static Term |
getFreeVariableSet(Term term1,
Term term2,
Set<Term> set)
get free variables of term1 with respect to term2 |
static void |
getVariableSet(Term term,
Set<Term> set)
get variable set |
static Term |
getWitness(Set<Term> set)
get witness of variable set, now just list of variables |
static boolean |
isVariant(Term term1,
Term term2)
Check if one term is variant of another |
protected static boolean |
isVariant(Term term1,
Term term2,
Map<Term,Term> map)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static boolean isVariant(Term term1,
Term term2)
protected static boolean isVariant(Term term1,
Term term2,
Map<Term,Term> map)
public static void getVariableSet(Term term,
Set<Term> set)
public static Term getExistentialVariableSet(Term term,
Set<Term> set)
public static Term getFreeVariableSet(Term term1,
Term term2,
Set<Term> set)
public static Term getWitness(Set<Term> set)
|
GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||