Hilbert II - JAVA-Packages - Principia Mathematica II

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)
           
 


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.