Uses of Class
com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
Packages that use FormulaUtil.FormulaMatchMemoMapKey
Package
Description
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.FormulaMatchMemoMapKeyModifier and TypeMethodDescriptionFormulaUtil.createFormulaMatchMemoMapKey(String s1, String s2) Factory method for the memo mapMethod parameters in com.articulate.sigma with type arguments of type FormulaUtil.FormulaMatchMemoMapKeyModifier and TypeMethodDescriptionstatic List<Set<VariableMapping>> Formula.mapFormulaVariables(Formula f1, Formula f2, KB kb, Map<FormulaUtil.FormulaMatchMemoMapKey, List<Set<VariableMapping>>> memoMap) Compares two formulae by recursively traversing its predicate structure and by building possible variable maps between the variables of the two formulae.