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(java.lang.String s1, java.lang.String s2)

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

Modifier and Type

Method and Description

static java.util.List<java.util.Set<com.articulate.sigma.Formula.VariableMapping>>

Formula.mapFormulaVariables(Formula f1, Formula f2, KB kb, java.util.HashMap<FormulaUtil.FormulaMatchMemoMapKey,java.util.List<java.util.Set<com.articulate.sigma.Formula.VariableMapping>>> memoMap) Compares recursively to formulas and returns possible variable maps between the variables of the two formulas Returns: null - if the formulas cannot be equals (due to having different predicates for example) empty list- formulas are equal, but there are no variables to map list 0f variable mapping sets the list of possible variable mapping sets which will make formulas equal