io.konig.formula

Class AbstractFormula

java.lang.Object

io.konig.formula.AbstractFormula

All Implemented Interfaces:

Formula

Direct Known Subclasses:

Addend, BinaryRelationalExpression, BoundFunction, BrackettedExpression, BuiltInName, CaseStatement, ConditionalAndExpression, ConditionalExpression, CurieValue, DirectionStep, Expression, Factor, FullyQualifiedIri, FunctionExpression, GeneralAdditiveExpression, HasPathStep, IfFunction, ListRelationalExpression, LiteralFormula, LocalNameTerm, MultiplicativeExpression, ObjectList, PathExpression, PredicateObjectList, Triple, UnaryExpression, VariableTerm, WhenThenClause

public abstract class AbstractFormula
extends Object
implements Formula

Constructor Summary

Constructors

Constructor and Description
AbstractFormula()

Method Summary

Modifier and Type	Method and Description
BinaryRelationalExpression	asBinaryRelationalExpression()
PrimaryExpression	asPrimaryExpression()
abstract Formula	clone()
String	toSimpleString()
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface io.konig.formula.Formula

dispatch, print

Constructor Detail

AbstractFormula

public AbstractFormula()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

toSimpleString

public String toSimpleString()

asPrimaryExpression

public PrimaryExpression asPrimaryExpression()

Specified by:

asPrimaryExpression in interface Formula

clone

public abstract Formula clone()

Overrides:

clone in class Object

asBinaryRelationalExpression

public BinaryRelationalExpression asBinaryRelationalExpression()

Specified by:

asBinaryRelationalExpression in interface Formula