Uses of Class
com.articulate.sigma.parsing.SuokifVisitor

Packages that use SuokifVisitor

Package	Description
com.articulate.sigma.parsing

Uses of SuokifVisitor in com.articulate.sigma.parsing

Methods in com.articulate.sigma.parsing that return SuokifVisitor

Modifier and Type	Method	Description
static SuokifVisitor	SuokifVisitor.parseFile(File fname)	Parse SUO-KIF from a file
static SuokifVisitor	SuokifVisitor.parseFormula(Formula input)	Parse a single formula and use this SuokifVisitor to process as the cached information for the formula.
static SuokifVisitor	SuokifVisitor.parseString(String input)	Parse a single formula and use this SuokifVisitor to process as the cached information for the formula.
static SuokifVisitor	SuokifApp.process(Formula fast)	Process the given SUO-KIF
static SuokifVisitor	SuokifApp.process(File file)	Process the given SUO-KIF
static SuokifVisitor	SuokifApp.process(String input)	Process the given SUO-KIF

Methods in com.articulate.sigma.parsing with parameters of type SuokifVisitor

Modifier and Type	Method	Description
static void	Preprocessor.removeMultiplePredVar(SuokifVisitor sv)	utility to remove explosive rules