Uses of Class com.meyling.principia.argument.FoundException (PMII - Principia Mathematica II)

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.argument.FoundException

Packages that use FoundException
com.meyling.principia.argument |

Uses of FoundException in com.meyling.principia.argument

Methods in com.meyling.principia.argument that throw FoundException
`void` | `FoundException.addAndThrow(Argument argument)` Constructs an argument exception, starts with an argument.
`void` | `Argument.getSearchParents(Enumerator counter, int occurence, Argument searchPattern)` Get a children parents list for the `occurrence`-th occurence of `searchPattern`.
`void` | `Argument.getReplacementParents(Enumerator counter, int occurence, Argument searchPattern, Argument replacementPattern)` Get a children parents list for the `occurrence`-th occurence of `searchPattern` replaced by `replacementPattern`.
`void` | `AbstractArgument.getSearchParents(Enumerator counter, int occurance, Argument searchPattern)`
`void` | `AbstractArgument.getReplacementParents(Enumerator counter, int occurance, Argument searchPattern, Argument replacePattern)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.