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