Uses of Class
jcreek.reasoning.SymbolConvergence

Packages that use SymbolConvergence
jcreek.reasoning   
 

Uses of SymbolConvergence in jcreek.reasoning
 

Methods in jcreek.reasoning that return SymbolConvergence
 SymbolConvergence SymbolConvergence.union(SymbolConvergence fc)
          Merges the given SymbolConvergence with this SymbolConvergence.
 SymbolConvergence[] SymbolComparison.getSymbolConvergences()
          Returning the list of FindingConvergence instances found for this FindingComparison.
 

Methods in jcreek.reasoning with parameters of type SymbolConvergence
 SymbolConvergence SymbolConvergence.union(SymbolConvergence fc)
          Merges the given SymbolConvergence with this SymbolConvergence.
 



Created at IDI, NTNU by the Artificial Intelligence and Learning group