RationalVariableExpression (Cascade Core Library 0.0.3-SNAPSHOT API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

edu.nyu.cascade.prover
Interface RationalVariableExpression

All Superinterfaces:: Expression<RationalType>, LvalExpression<RationalType>, RationalExpression, VariableExpression<RationalType>

public interface RationalVariableExpression
extends VariableExpression<RationalType>, RationalExpression
extends VariableExpression<RationalType>, RationalExpression

Interface to represent the rational variables.

Nested Class Summary

Nested classes/interfaces inherited from interface edu.nyu.cascade.prover.Expression
`Expression.Kind`

Method Summary

Methods inherited from interface edu.nyu.cascade.prover.VariableExpression
`getName`

Methods inherited from interface edu.nyu.cascade.prover.Expression
`asBitVector, asBooleanExpression, asIntegerExpression, asIntegerVariable, asRationalExpression, asRationalVariable, asUnaryFunctionExpression, asVariable, eq, getArity, getChild, getChildren, getExpressionManager, getKind, getType, isBoolean, isConstant, isTerm, isVariable, lambda, lambda, neq, subst`

Methods inherited from interface edu.nyu.cascade.prover.RationalExpression
`divide, geq, gt, leq, lt, minus, mult, plus, pow`