|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |