Uses of Class
orbital.logic.sign.ParseException

Packages that use ParseException

orbital.logic.imp	Defines a generic interface to (symbolic) logic systems.
orbital.logic.sign	Defines generic interfaces for formal languages.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of ParseException in orbital.logic.imp

Methods in orbital.logic.imp that throw ParseException

Expression.Composite	Logic.compose(Expression compositor, Expression[] arg) Create a compound expression representation with a composition operation.
Expression	Logic.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression.

Uses of ParseException in orbital.logic.sign

Methods in orbital.logic.sign that throw ParseException

Expression.Composite	ExpressionBuilder.compose(Expression compositor, Expression[] arg) Create a compound expression representation with a composition operation.
Expression	ExpressionSyntax.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression.
Signature	ExpressionSyntax.scanSignature(java.lang.String expression) Scan for the signature Σ of all syntactic symbols in an expression.

Uses of ParseException in orbital.moon.logic

Methods in orbital.moon.logic that throw ParseException

Expression.Composite	MathExpressionSyntax.compose(Expression compositor, Expression[] arguments)
Expression.Composite	ClassicalLogic.compose(Expression compositor, Expression[] arguments)
Expression[]	ClassicalLogic.createAllExpressions(java.lang.String expressions)
Expression	MathExpressionSyntax.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression..
Formula	ClassicalLogic.createFormula(java.lang.String expression) Deprecated. Use (Formula) createExpression(expression) instead.
Arithmetic	MathExpressionSyntax.createMathExpression(java.lang.String expression) Parses an expression and queries its arithmetic object.
Expression	ClassicalLogic.createTerm(java.lang.String expression) Parses single term.
boolean	ModalLogic.infer(java.lang.String expression, java.lang.String exprDerived) facade for convenience.
boolean	FuzzyLogic.infer(java.lang.String expression, java.lang.String exprDerived) facade for convenience.
static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax) Reads a term-rewrite system from a stream.
static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax, Function expressionTransformation) Reads a term-rewrite system from a stream.
Signature	MathExpressionSyntax.scanSignature(java.lang.String expression)