Uses of Class
com.articulate.sigma.FormulaAST

Packages that use FormulaAST

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

Uses of FormulaAST in com.articulate.sigma

Fields in com.articulate.sigma with type parameters of type FormulaAST

Modifier and Type	Field	Description
Map<String,FormulaAST>	KIFAST.formulaMap	A HashMap of String keys representing the formula, and Formula values.
Map<String,List<FormulaAST>>	KIFAST.formulas	A HashMap of ArrayLists of Formulas.

Methods in com.articulate.sigma that return FormulaAST

Modifier and Type	Method	Description
FormulaAST	FormulaAST.car()	This is a non-destructive operation that creates just a new FormulaAST with the Term member, but no caches or auxiliary information, which likely wouldn't be accurate if it were copied.
FormulaAST	FormulaAST.cdr()	This is a non-destructive operation that creates just a new FormulaAST with the Term member, but no caches or auxiliary information, which likely wouldn't be accurate if it were copied.

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

Modifier and Type	Method	Description
void	FormulaAST.read(FormulaAST input)