Package edu.tufts.hrilab.fol.util

Class PragUtil

java.lang.Object

edu.tufts.hrilab.fol.util.PragUtil

public class PragUtil
extends Object

Constructor Summary

Constructors

Constructor	Description
PragUtil()

Method Summary

Modifier and Type	Method	Description
static boolean	compareTermStruct(Term t1, Term t2)
static Term	fillPredicate(Map<Variable,Symbol> bindings, Term term)
static Symbol	fillSymbol(Map<Variable,Symbol> bindings, Symbol s)
static Term	formPrologQueryTerm(Term t)
static Map<Variable,Symbol>	getBindingsSymHelper(Map<Variable,Symbol> bindings, Symbol s1, Symbol s2)
static Map<Variable,Symbol>	getBindingsTermHelper(Map<Variable,Symbol> bindings, Term t1, Term t2)
static Symbol	getBoundSymbol(Map<Variable,Symbol> bindings, Symbol sym)
static Symbol	getBoundSymbolVars(Map<Variable,Symbol> bindings, Symbol sym)
static Term	getBoundTerm(Map<Variable,Symbol> bindings, Term term)
static Term	getBoundTermVars(Map<Variable,Symbol> bindings, Term term)
static Map<Variable,Symbol>	getSymbolBindings(Symbol s1, Symbol s2)
static Map<Variable,Symbol>	getTermBindings(Term t1, Term t2)
static Map<Variable,Symbol>	getTermBindingsVars(Term t1, Term t2)
static boolean	isLong(String str)
static List<Term>	parseModifiers(String line)
static List<String>	splitToplevel(String s, char delim)
static boolean	termEquals(Term t1, Term t2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PragUtil

public PragUtil()

Method Details

getBoundSymbol

public static Symbol getBoundSymbol(Map<Variable,Symbol> bindings,
 Symbol sym)

getBoundSymbolVars

public static Symbol getBoundSymbolVars(Map<Variable,Symbol> bindings,
 Symbol sym)

getBoundTerm

public static Term getBoundTerm(Map<Variable,Symbol> bindings,
 Term term)

getBoundTermVars

public static Term getBoundTermVars(Map<Variable,Symbol> bindings,
 Term term)

fillPredicate

public static Term fillPredicate(Map<Variable,Symbol> bindings,
 Term term)

fillSymbol

public static Symbol fillSymbol(Map<Variable,Symbol> bindings,
 Symbol s)

termEquals

public static boolean termEquals(Term t1,
 Term t2)

compareTermStruct

public static boolean compareTermStruct(Term t1,
 Term t2)

getSymbolBindings

public static Map<Variable,Symbol> getSymbolBindings(Symbol s1,
 Symbol s2)

getBindingsSymHelper

public static Map<Variable,Symbol> getBindingsSymHelper(Map<Variable,Symbol> bindings,
 Symbol s1,
 Symbol s2)

getTermBindings

public static Map<Variable,Symbol> getTermBindings(Term t1,
 Term t2)

getTermBindingsVars

public static Map<Variable,Symbol> getTermBindingsVars(Term t1,
 Term t2)

getBindingsTermHelper

public static Map<Variable,Symbol> getBindingsTermHelper(Map<Variable,Symbol> bindings,
 Term t1,
 Term t2)

isLong

public static boolean isLong(String str)

formPrologQueryTerm

public static Term formPrologQueryTerm(Term t)

splitToplevel

public static List<String> splitToplevel(String s,
 char delim)

parseModifiers

public static List<Term> parseModifiers(String line)