Orbital library

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)
           
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.