edu.nyu.cascade.prover
Interface BitVectorExpression

All Superinterfaces:

Expression<BitVectorType>

All Known Subinterfaces:

BitVectorVariableExpression

public interface BitVectorExpression
extends Expression<BitVectorType>

Nested Class Summary

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

Expression.Kind

Method Summary

BitVectorExpression	and(Expression<BitVectorType> a)
BitVectorExpression	concat(Expression<BitVectorType> a)
BitVectorExpression	extract(int i, int j)
int	getSize()
BitVectorExpression	minus(Expression<BitVectorType> a)
BitVectorExpression	nand(Expression<BitVectorType> a)
BitVectorExpression	nor(Expression<BitVectorType> a)
BitVectorExpression	not()
BitVectorExpression	or(Expression<BitVectorType> a)
BitVectorExpression	plus(int size, Expression<BitVectorType>... args)
BitVectorExpression	plus(int size, Expression<BitVectorType> a)
BitVectorExpression	plus(int size, Iterable<? extends Expression<BitVectorType>> args)
BitVectorExpression	times(int size, Expression<BitVectorType> a)
BitVectorExpression	xnor(Expression<BitVectorType> a)
BitVectorExpression	xor(Expression<BitVectorType> a)

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

Method Detail

and

BitVectorExpression and(Expression<BitVectorType> a)

concat

BitVectorExpression concat(Expression<BitVectorType> a)

extract

BitVectorExpression extract(int i,
                            int j)

getSize

int getSize()

minus

BitVectorExpression minus(Expression<BitVectorType> a)

nand

BitVectorExpression nand(Expression<BitVectorType> a)

nor

BitVectorExpression nor(Expression<BitVectorType> a)

not

BitVectorExpression not()

or

BitVectorExpression or(Expression<BitVectorType> a)

plus

BitVectorExpression plus(int size,
                         Expression<BitVectorType> a)

plus

BitVectorExpression plus(int size,
                         Expression<BitVectorType>... args)

plus

BitVectorExpression plus(int size,
                         Iterable<? extends Expression<BitVectorType>> args)

times

BitVectorExpression times(int size,
                          Expression<BitVectorType> a)

xnor

BitVectorExpression xnor(Expression<BitVectorType> a)

xor

BitVectorExpression xor(Expression<BitVectorType> a)