Uses of Class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey (Sigma API Specification)

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

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

Description

static 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.