io.konig.formula

Class QuantifiedExpression

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.Expression

io.konig.formula.QuantifiedExpression

All Implemented Interfaces:

Formula

public class QuantifiedExpression
extends Expression

Field Summary

Fields inherited from class io.konig.formula.Expression

context, orList

Constructor Summary

Constructors

Modifier	Constructor and Description
	QuantifiedExpression()
protected	QuantifiedExpression(Context context, List<ConditionalAndExpression> orList, List<Triple> statementList)
	QuantifiedExpression(Expression formula, List<Triple> statementList)
	QuantifiedExpression(QuantifiedExpression clone)
	QuantifiedExpression(String text)

Method Summary

Modifier and Type	Method and Description
QuantifiedExpression	clone()
protected void	doDispatch(FormulaVisitor visitor)
static QuantifiedExpression	fromString(String text)
void	print(PrettyPrintWriter out)
String	toSimpleString()
static QuantifiedExpression	wrap(NumericExpression numeric)
static QuantifiedExpression	wrap(PrimaryExpression primary)
static QuantifiedExpression	wrap(ValueLogical valueLogical)

Methods inherited from class io.konig.formula.Expression

add, asAdditiveExpression, asBinaryRelationalExpression, asNumericExpression, asPrimaryExpression, dispatch, getContext, getOrList, getText, printOrList, setContext, toValue

Methods inherited from class io.konig.formula.AbstractFormula

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

QuantifiedExpression

public QuantifiedExpression()

QuantifiedExpression

protected QuantifiedExpression(Context context,
                               List<ConditionalAndExpression> orList,
                               List<Triple> statementList)

QuantifiedExpression

public QuantifiedExpression(Expression formula,
                            List<Triple> statementList)

QuantifiedExpression

public QuantifiedExpression(String text)

QuantifiedExpression

public QuantifiedExpression(QuantifiedExpression clone)

Method Detail

fromString

public static final QuantifiedExpression fromString(String text)

clone

public QuantifiedExpression clone()

Specified by:

clone in class Expression

toSimpleString

public String toSimpleString()

Overrides:

toSimpleString in class AbstractFormula

wrap

public static QuantifiedExpression wrap(ValueLogical valueLogical)

wrap

public static QuantifiedExpression wrap(NumericExpression numeric)

wrap

public static QuantifiedExpression wrap(PrimaryExpression primary)

print

public void print(PrettyPrintWriter out)

Specified by:

print in interface Formula

Overrides:

print in class Expression

doDispatch

protected void doDispatch(FormulaVisitor visitor)

Overrides:

doDispatch in class Expression