Uses of Class
com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey

Packages that use FormulaUtil.FormulaMatchMemoMapKey

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

Uses of FormulaUtil.FormulaMatchMemoMapKey in com.articulate.sigma

Methods in com.articulate.sigma that return FormulaUtil.FormulaMatchMemoMapKey

Modifier and Type	Method and Description
static FormulaUtil.FormulaMatchMemoMapKey	FormulaUtil.createFormulaMatchMemoMapKey(String s1, String s2) Factory method for the memo map

Method parameters in com.articulate.sigma with type arguments of type FormulaUtil.FormulaMatchMemoMapKey

Modifier and Type	Method and Description
static List<Set<com.articulate.sigma.Formula.VariableMapping>>	Formula.mapFormulaVariables(Formula f1, Formula f2, KB kb, HashMap<FormulaUtil.FormulaMatchMemoMapKey,List<Set<com.articulate.sigma.Formula.VariableMapping>>> memoMap) Compares two formulae by recursively traversing its predicate structure and by building possible variable maps between the variables of the two formulae.