| 
 | 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
Static utility functions for operating on Terms
| 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)
term1 - term2 - 
protected static boolean isVariant(Term term1,
                                   Term term2,
                                   Map<Term,Term> map)
public static void getVariableSet(Term term,
                                  Set<Term> set)
term - set - 
public static Term getExistentialVariableSet(Term term,
                                             Set<Term> set)
term - set - 
public static Term getFreeVariableSet(Term term1,
                                      Term term2,
                                      Set<Term> set)
term1 - term2 - set - 
public static Term getWitness(Set<Term> set)
set - 
| 
 | GNU Prolog for Java | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||