Uses of Class
com.articulate.sigma.FormulaPreprocessor

Packages that use FormulaPreprocessor

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

Uses of FormulaPreprocessor in com.articulate.sigma

Methods in com.articulate.sigma with parameters of type FormulaPreprocessor

Modifier and Type	Method and Description
static ArrayList<String>	TPTP3ProofProcessor.parseAnswerTuples(String st, KB kb, FormulaPreprocessor fp) Return a list of answers if E finds bindings for wh- queries.