Module dev.civl.sarl

Package dev.civl.sarl.IF.expr

Interface NumericExpression

All Superinterfaces:

SymbolicExpression, SymbolicObject

All Known Subinterfaces:

Constant, Monic, Monomial, NumericSymbolicConstant, Polynomial, Primitive, PrimitivePower, RationalExpression

public interface NumericExpression
extends SymbolicExpression

Marker interface for an expression of numeric type ( SymbolicIntegerType SymbolicRealType).

Implementation note: a class of this type should override the isZero() and isOne() methods in CommonSymbolicExpression, if they extend CommonSymbolicExpression.

Nested Class Summary

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

SymbolicExpression.SymbolicOperator

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Method Summary

Methods inherited from interface dev.civl.sarl.IF.expr.SymbolicExpression

argument, atomString, getArguments, getFreeVars, isFalse, isNull, isNumeric, isOne, isTrue, isZero, numArguments, operator, printCompressedTree, size, type

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong