Uses of Class
com.articulate.sigma.VariableMapping

Packages that use VariableMapping

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

Uses of VariableMapping in com.articulate.sigma

Methods in com.articulate.sigma that return types with arguments of type VariableMapping

Modifier and Type	Method	Description
static List<Set<VariableMapping>>	VariableMapping.intersect(List<Set<VariableMapping>> mapList1, List<Set<VariableMapping>> mapList2)
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.
static List<Set<VariableMapping>>	VariableMapping.union(List<Set<VariableMapping>> mapList1, List<Set<VariableMapping>> mapList2)

Method parameters in com.articulate.sigma with type arguments of type VariableMapping

Modifier and Type	Method	Description
static List<Set<VariableMapping>>	VariableMapping.intersect(List<Set<VariableMapping>> mapList1, List<Set<VariableMapping>> mapList2)
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.
static List<Set<VariableMapping>>	VariableMapping.union(List<Set<VariableMapping>> mapList1, List<Set<VariableMapping>> mapList2)