Package com.articulate.sigma.parsing

Class Preprocessor

java.lang.Object

com.articulate.sigma.parsing.Preprocessor

public class Preprocessor
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	debug
static KB	kb

Constructor Summary

Constructors

Constructor	Description
Preprocessor(KB kbin)

Method Summary

Modifier and Type	Method	Description
Collection<FormulaAST>	preprocess(Set<FormulaAST> rowvar, Set<FormulaAST> predvar, Set<FormulaAST> rules)
static void	removeMultiplePredVar(SuokifVisitor sv)	utility to remove explosive rules
Set<FormulaAST>	reparse(Collection<FormulaAST> rules)	After preprocessing, parse the new formula string in order to set the caches correctly

Methods inherited from class java.lang.Object

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

Field Details

kb

public static KB kb

debug

public static boolean debug

Constructor Details

Preprocessor

public Preprocessor(KB kbin)

Method Details

removeMultiplePredVar

public static void removeMultiplePredVar(SuokifVisitor sv)

utility to remove explosive rules

preprocess

public Collection<FormulaAST> preprocess(Set<FormulaAST> rowvar,
 Set<FormulaAST> predvar,
 Set<FormulaAST> rules)

reparse

public Set<FormulaAST> reparse(Collection<FormulaAST> rules)

After preprocessing, parse the new formula string in order to set the caches correctly