Public Methods |
static
EquationDefinition
|
ED(INode t0, INode t1, OperationType ctEq, OperationType ctNeq)
|
static
Leaf
|
L(int id)
|
static
Leaf
|
L(int id, int bitsize, int flags, INodeHandler customHandler)
|
static
Leaf
|
L(int id, int bitsize)
|
static
Leaf
|
LC(long value, int bitsize, int id)
|
static
Leaf
|
LC(long value, int bitsize)
|
static
Leaf
|
LC(long value)
|
static
Leaf
|
LI(int id)
|
static
Leaf
|
LIV(int id)
|
static
Leaf
|
LT(int id)
|
static
Leaf
|
LV(int id)
|
static
Node
|
N(O operator, INode... operands)
|
static
Node
|
N(OGroup opgrp, INode... operands)
|
static
OGroup
|
OG(int id, O... operators)
|
static
SubstitutionDefinition
|
SD(INode pattern, INode replacement)
|