Package com.articulate.sigma.parsing

Class PredVarInst

java.lang.Object

com.articulate.sigma.parsing.PredVarInst

public class PredVarInst
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	debug
static boolean	predVarInstDone

Constructor Summary

Constructors

Constructor	Description
PredVarInst(KB kbin)

Method Summary

Modifier and Type	Method	Description
Set<FormulaAST>	processAll(Collection<FormulaAST> fs)
Set<FormulaAST>	processOne(FormulaAST f)	Note that if there is more than one predicate variable we have to cycle through all the formulas generated for the first variable

Methods inherited from class java.lang.Object

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

Field Details

predVarInstDone

public static boolean predVarInstDone

debug

public static boolean debug

Constructor Details

PredVarInst

public PredVarInst(KB kbin)

Method Details

processOne

public Set<FormulaAST> processOne(FormulaAST f)

Note that if there is more than one predicate variable we have to cycle through all the formulas generated for the first variable

processAll

public Set<FormulaAST> processAll(Collection<FormulaAST> fs)