|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SimpleAssertion | |
|---|---|
| inpro.irmrsc.rmrs | |
| Uses of SimpleAssertion in inpro.irmrsc.rmrs |
|---|
| Methods in inpro.irmrsc.rmrs that return types with arguments of type SimpleAssertion | |
|---|---|
java.util.List<SimpleAssertion> |
Formula.getNominalAssertions()
|
java.util.List<SimpleAssertion> |
Formula.getUnscopedPredicateLogic()
a first, unfinished implementation to extract unscoped predicate logic statements of this rmrs, i.e. to get rid of the predicate-argument factorisation |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||