Package ru.ispras.fortress.expression
Class Nodes
- java.lang.Object
-
- ru.ispras.fortress.expression.Nodes
-
public final class Nodes extends java.lang.Object
TheNode
class provides utility methods to work with node objects.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static NodeOperation
abs(Node operand)
static NodeOperation
add(java.util.Collection<? extends Node> operands)
static NodeOperation
add(Node... operands)
static NodeOperation
and(java.util.Collection<? extends Node> operands)
static NodeOperation
and(Node... operands)
static NodeOperation
bool2bv(Node operand)
static NodeOperation
bv2bool(Node operand)
static NodeOperation
bv2int(Node operand)
static NodeOperation
bvadd(java.util.Collection<? extends Node> operands)
static NodeOperation
bvadd(Node... operands)
static NodeOperation
bvand(java.util.Collection<? extends Node> operands)
static NodeOperation
bvand(Node... operands)
static NodeOperation
bvandr(Node operand)
static NodeOperation
bvashl(Node source, Node amount)
static NodeOperation
bvashr(Node source, Node amount)
static NodeOperation
bvconcat(java.util.Collection<? extends Node> operands)
static NodeOperation
bvconcat(Node... operands)
static NodeOperation
bvextract(int high, int low, Variable source)
static NodeOperation
bvextract(int high, int low, Node source)
static NodeOperation
bvextract(int bit, Variable source)
static NodeOperation
bvextract(int bit, Node source)
static NodeOperation
bvextract(int high, NodeValue low, Variable source)
static NodeOperation
bvextract(int high, NodeValue low, Node source)
static NodeOperation
bvextract(Variable source)
static NodeOperation
bvextract(Node source)
static NodeOperation
bvextract(Node high, Node low, Node source)
static NodeOperation
bvextract(NodeValue high, int low, Variable source)
static NodeOperation
bvextract(NodeValue high, int low, Node source)
static NodeOperation
bvextract(NodeValue bit, Variable source)
static NodeOperation
bvextract(NodeValue bit, Node source)
static NodeOperation
bvextract(NodeValue high, NodeValue low, Variable source)
static NodeOperation
bvlshl(Node source, Node amount)
static NodeOperation
bvlshr(Node source, Node amount)
static NodeOperation
bvmul(java.util.Collection<? extends Node> operands)
static NodeOperation
bvmul(Node... operands)
static NodeOperation
bvnand(Node first, Node second)
static NodeOperation
bvnandr(Node operand)
static NodeOperation
bvneg(Node operand)
static NodeOperation
bvnor(Node first, Node second)
static NodeOperation
bvnorr(Node operand)
static NodeOperation
bvnot(Node operand)
static NodeOperation
bvor(java.util.Collection<? extends Node> operands)
static NodeOperation
bvor(Node... operands)
static NodeOperation
bvorr(Node operand)
static NodeOperation
bvrepeat(int count, Node source)
static NodeOperation
bvrepeat(NodeValue count, Node source)
static NodeOperation
bvrol(int amount, Node source)
static NodeOperation
bvrol(NodeValue amount, Node source)
static NodeOperation
bvror(int amount, Node source)
static NodeOperation
bvror(NodeValue amount, Node source)
static NodeOperation
bvsdiv(Node first, Node second)
static NodeOperation
bvsge(Node lhs, Node rhs)
static NodeOperation
bvsgt(Node lhs, Node rhs)
static NodeOperation
bvsignext(int deltaSize, Node source)
static NodeOperation
bvsignext(NodeValue deltaSize, Node source)
static NodeOperation
bvsle(Node lhs, Node rhs)
static NodeOperation
bvslt(Node lhs, Node rhs)
static NodeOperation
bvsmod(Node first, Node second)
static NodeOperation
bvsrem(Node first, Node second)
static NodeOperation
bvsub(java.util.Collection<? extends Node> operands)
static NodeOperation
bvsub(Node... operands)
static NodeOperation
bvudiv(Node first, Node second)
static NodeOperation
bvuge(Node lhs, Node rhs)
static NodeOperation
bvugt(Node lhs, Node rhs)
static NodeOperation
bvule(Node lhs, Node rhs)
static NodeOperation
bvult(Node lhs, Node rhs)
static NodeOperation
bvurem(Node first, Node second)
static NodeOperation
bvxnor(Node first, Node second)
static NodeOperation
bvxnorr(Node operand)
static NodeOperation
bvxor(java.util.Collection<? extends Node> operands)
static NodeOperation
bvxor(Node... operands)
static NodeOperation
bvxorr(Node operand)
static NodeOperation
bvzeroext(int deltaSize, Node source)
static NodeOperation
bvzeroext(NodeValue deltaSize, Node source)
static NodeOperation
div(Node first, Node second)
static NodeOperation
eq(java.util.Collection<? extends Node> operands)
static NodeOperation
eq(Variable lhs, Node rhs)
static NodeOperation
eq(Node... operands)
static NodeOperation
eq(Node lhs, Variable rhs)
static NodeOperation
eqcase(Node lhs, Node rhs)
static NodeOperation
greater(Node lhs, Node rhs)
static NodeOperation
greatereq(Node lhs, Node rhs)
static NodeOperation
impl(Node first, Node second)
static NodeOperation
int2bv(int size, Node source)
static NodeOperation
int2bv(NodeValue size, Node source)
static NodeOperation
ite(Node condition, Node first, Node second)
static NodeOperation
less(Node lhs, Node rhs)
static NodeOperation
lesseq(Node lhs, Node rhs)
static NodeOperation
max(java.util.Collection<? extends Node> operands)
static NodeOperation
max(Node... operands)
static NodeOperation
min(java.util.Collection<? extends Node> operands)
static NodeOperation
min(Node... operands)
static NodeOperation
minus(Node operand)
static NodeOperation
mod(Node first, Node second)
static NodeOperation
mul(java.util.Collection<? extends Node> operands)
static NodeOperation
mul(Node... operands)
static NodeOperation
not(Node operand)
static NodeOperation
noteq(Variable lhs, Node rhs)
static NodeOperation
noteq(Node lhs, Variable rhs)
static NodeOperation
noteq(Node lhs, Node rhs)
static NodeOperation
noteqcase(Node lhs, Node rhs)
static NodeOperation
or(java.util.Collection<? extends Node> operands)
static NodeOperation
or(Node... operands)
static NodeOperation
plus(Node operand)
static NodeOperation
power(Node base, Node exponent)
static NodeOperation
rem(Node first, Node second)
static NodeOperation
reverseBvconcat(java.util.Collection<? extends Node> operands)
static NodeOperation
reverseBvconcat(Node... operands)
static NodeOperation
select(Node array, Node key)
static NodeOperation
store(Node array, Node key, Node value)
static NodeOperation
sub(java.util.Collection<? extends Node> operands)
static NodeOperation
sub(Node... operands)
static NodeOperation
xor(java.util.Collection<? extends Node> operands)
static NodeOperation
xor(Node... operands)
-
-
-
Method Detail
-
eq
public static NodeOperation eq(Node... operands)
-
eq
public static NodeOperation eq(java.util.Collection<? extends Node> operands)
-
eq
public static NodeOperation eq(Variable lhs, Node rhs)
-
eq
public static NodeOperation eq(Node lhs, Variable rhs)
-
noteq
public static NodeOperation noteq(Node lhs, Node rhs)
-
noteq
public static NodeOperation noteq(Variable lhs, Node rhs)
-
noteq
public static NodeOperation noteq(Node lhs, Variable rhs)
-
eqcase
public static NodeOperation eqcase(Node lhs, Node rhs)
-
noteqcase
public static NodeOperation noteqcase(Node lhs, Node rhs)
-
and
public static NodeOperation and(Node... operands)
-
and
public static NodeOperation and(java.util.Collection<? extends Node> operands)
-
or
public static NodeOperation or(Node... operands)
-
or
public static NodeOperation or(java.util.Collection<? extends Node> operands)
-
not
public static NodeOperation not(Node operand)
-
xor
public static NodeOperation xor(Node... operands)
-
xor
public static NodeOperation xor(java.util.Collection<? extends Node> operands)
-
impl
public static NodeOperation impl(Node first, Node second)
-
ite
public static NodeOperation ite(Node condition, Node first, Node second)
-
minus
public static NodeOperation minus(Node operand)
-
plus
public static NodeOperation plus(Node operand)
-
add
public static NodeOperation add(Node... operands)
-
add
public static NodeOperation add(java.util.Collection<? extends Node> operands)
-
sub
public static NodeOperation sub(Node... operands)
-
sub
public static NodeOperation sub(java.util.Collection<? extends Node> operands)
-
div
public static NodeOperation div(Node first, Node second)
-
mul
public static NodeOperation mul(Node... operands)
-
mul
public static NodeOperation mul(java.util.Collection<? extends Node> operands)
-
rem
public static NodeOperation rem(Node first, Node second)
-
mod
public static NodeOperation mod(Node first, Node second)
-
less
public static NodeOperation less(Node lhs, Node rhs)
-
lesseq
public static NodeOperation lesseq(Node lhs, Node rhs)
-
greater
public static NodeOperation greater(Node lhs, Node rhs)
-
greatereq
public static NodeOperation greatereq(Node lhs, Node rhs)
-
power
public static NodeOperation power(Node base, Node exponent)
-
abs
public static NodeOperation abs(Node operand)
-
min
public static NodeOperation min(Node... operands)
-
min
public static NodeOperation min(java.util.Collection<? extends Node> operands)
-
max
public static NodeOperation max(Node... operands)
-
max
public static NodeOperation max(java.util.Collection<? extends Node> operands)
-
bvadd
public static NodeOperation bvadd(Node... operands)
-
bvadd
public static NodeOperation bvadd(java.util.Collection<? extends Node> operands)
-
bvsub
public static NodeOperation bvsub(Node... operands)
-
bvsub
public static NodeOperation bvsub(java.util.Collection<? extends Node> operands)
-
bvneg
public static NodeOperation bvneg(Node operand)
-
bvmul
public static NodeOperation bvmul(Node... operands)
-
bvmul
public static NodeOperation bvmul(java.util.Collection<? extends Node> operands)
-
bvudiv
public static NodeOperation bvudiv(Node first, Node second)
-
bvsdiv
public static NodeOperation bvsdiv(Node first, Node second)
-
bvurem
public static NodeOperation bvurem(Node first, Node second)
-
bvsrem
public static NodeOperation bvsrem(Node first, Node second)
-
bvsmod
public static NodeOperation bvsmod(Node first, Node second)
-
bvlshl
public static NodeOperation bvlshl(Node source, Node amount)
-
bvashl
public static NodeOperation bvashl(Node source, Node amount)
-
bvlshr
public static NodeOperation bvlshr(Node source, Node amount)
-
bvashr
public static NodeOperation bvashr(Node source, Node amount)
-
bvconcat
public static NodeOperation bvconcat(Node... operands)
-
bvconcat
public static NodeOperation bvconcat(java.util.Collection<? extends Node> operands)
-
reverseBvconcat
public static NodeOperation reverseBvconcat(Node... operands)
-
reverseBvconcat
public static NodeOperation reverseBvconcat(java.util.Collection<? extends Node> operands)
-
bvrepeat
public static NodeOperation bvrepeat(NodeValue count, Node source)
-
bvrepeat
public static NodeOperation bvrepeat(int count, Node source)
-
bvrol
public static NodeOperation bvrol(NodeValue amount, Node source)
-
bvrol
public static NodeOperation bvrol(int amount, Node source)
-
bvror
public static NodeOperation bvror(NodeValue amount, Node source)
-
bvror
public static NodeOperation bvror(int amount, Node source)
-
bvzeroext
public static NodeOperation bvzeroext(NodeValue deltaSize, Node source)
-
bvzeroext
public static NodeOperation bvzeroext(int deltaSize, Node source)
-
bvsignext
public static NodeOperation bvsignext(NodeValue deltaSize, Node source)
-
bvsignext
public static NodeOperation bvsignext(int deltaSize, Node source)
-
bvextract
public static NodeOperation bvextract(Node high, Node low, Node source)
-
bvextract
public static NodeOperation bvextract(NodeValue bit, Node source)
-
bvextract
public static NodeOperation bvextract(int high, int low, Node source)
-
bvextract
public static NodeOperation bvextract(int bit, Node source)
-
bvextract
public static NodeOperation bvextract(int high, NodeValue low, Node source)
-
bvextract
public static NodeOperation bvextract(NodeValue high, int low, Node source)
-
bvextract
public static NodeOperation bvextract(Node source)
-
bvextract
public static NodeOperation bvextract(NodeValue high, NodeValue low, Variable source)
-
bvextract
public static NodeOperation bvextract(NodeValue bit, Variable source)
-
bvextract
public static NodeOperation bvextract(int high, int low, Variable source)
-
bvextract
public static NodeOperation bvextract(int bit, Variable source)
-
bvextract
public static NodeOperation bvextract(int high, NodeValue low, Variable source)
-
bvextract
public static NodeOperation bvextract(NodeValue high, int low, Variable source)
-
bvextract
public static NodeOperation bvextract(Variable source)
-
bvor
public static NodeOperation bvor(Node... operands)
-
bvor
public static NodeOperation bvor(java.util.Collection<? extends Node> operands)
-
bvxor
public static NodeOperation bvxor(Node... operands)
-
bvxor
public static NodeOperation bvxor(java.util.Collection<? extends Node> operands)
-
bvand
public static NodeOperation bvand(Node... operands)
-
bvand
public static NodeOperation bvand(java.util.Collection<? extends Node> operands)
-
bvnot
public static NodeOperation bvnot(Node operand)
-
bvnand
public static NodeOperation bvnand(Node first, Node second)
-
bvnor
public static NodeOperation bvnor(Node first, Node second)
-
bvxnor
public static NodeOperation bvxnor(Node first, Node second)
-
bvule
public static NodeOperation bvule(Node lhs, Node rhs)
-
bvult
public static NodeOperation bvult(Node lhs, Node rhs)
-
bvuge
public static NodeOperation bvuge(Node lhs, Node rhs)
-
bvugt
public static NodeOperation bvugt(Node lhs, Node rhs)
-
bvsle
public static NodeOperation bvsle(Node lhs, Node rhs)
-
bvslt
public static NodeOperation bvslt(Node lhs, Node rhs)
-
bvsge
public static NodeOperation bvsge(Node lhs, Node rhs)
-
bvsgt
public static NodeOperation bvsgt(Node lhs, Node rhs)
-
bvandr
public static NodeOperation bvandr(Node operand)
-
bvnandr
public static NodeOperation bvnandr(Node operand)
-
bvorr
public static NodeOperation bvorr(Node operand)
-
bvnorr
public static NodeOperation bvnorr(Node operand)
-
bvxorr
public static NodeOperation bvxorr(Node operand)
-
bvxnorr
public static NodeOperation bvxnorr(Node operand)
-
bv2bool
public static NodeOperation bv2bool(Node operand)
-
bool2bv
public static NodeOperation bool2bv(Node operand)
-
bv2int
public static NodeOperation bv2int(Node operand)
-
int2bv
public static NodeOperation int2bv(NodeValue size, Node source)
-
int2bv
public static NodeOperation int2bv(int size, Node source)
-
store
public static NodeOperation store(Node array, Node key, Node value)
-
select
public static NodeOperation select(Node array, Node key)
-
-