Uses of Class
wyal.lang.WyalFile.Opcode

Packages that use WyalFile.Opcode

Package	Description
wyal.heap
wyal.lang
wytp.proof.rules
wytp.proof.util

Uses of WyalFile.Opcode in wyal.heap

Methods in wyal.heap that return WyalFile.Opcode

Modifier and Type	Method and Description
WyalFile.Opcode	AbstractSyntacticItem.getOpcode()

Methods in wyal.heap with parameters of type WyalFile.Opcode

Modifier and Type	Method and Description
void	AbstractSyntacticItem.setOpcode(WyalFile.Opcode opcode)

Constructors in wyal.heap with parameters of type WyalFile.Opcode

Constructor and Description
AbstractSyntacticItem(WyalFile.Opcode opcode)
AbstractSyntacticItem(WyalFile.Opcode opcode, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, List<SyntacticItem> operands, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, Object data, SyntacticItem[] operands, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, SyntacticItem[] operands, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, SyntacticItem operand, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, SyntacticItem first, SyntacticItem second, wybs.lang.Attribute... attributes)
AbstractSyntacticItem(WyalFile.Opcode opcode, SyntacticItem first, SyntacticItem second, SyntacticItem third, wybs.lang.Attribute... attributes)

Uses of WyalFile.Opcode in wyal.lang

Methods in wyal.lang that return WyalFile.Opcode

Modifier and Type	Method and Description
WyalFile.Opcode	SyntacticItem.getOpcode() The opcode which defines what this bytecode does.
static WyalFile.Opcode	WyalFile.Opcode.valueOf(String name) Returns the enum constant of this type with the specified name.
static WyalFile.Opcode[]	WyalFile.Opcode.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in wyal.lang with parameters of type WyalFile.Opcode

Modifier and Type	Method and Description
void	SyntacticItem.setOpcode(WyalFile.Opcode opcode) Mutate the opcode of this item

Constructors in wyal.lang with parameters of type WyalFile.Opcode

Constructor and Description
Atom(WyalFile.Opcode opcode, wybs.lang.Attribute... attributes)
Atom(WyalFile.Opcode opcode, SyntacticItem[] items, wybs.lang.Attribute... attributes)
Atom(WyalFile.Opcode opcode, SyntacticItem item, wybs.lang.Attribute... attributes)
Atom(WyalFile.Opcode opcode, SyntacticItem first, SyntacticItem second, wybs.lang.Attribute... attributes)
FunctionOrMacroOrInvariant(WyalFile.Opcode opcode, SyntacticItem[] items, wybs.lang.Attribute... attributes)
FunctionOrMacroOrInvariant(WyalFile.Opcode opcode, WyalFile.Tuple<WyalFile.Type> parameters, WyalFile.Tuple<WyalFile.Type> returns, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(WyalFile.Opcode opcode, SyntacticItem[] operands, wybs.lang.Attribute... attributes)
FunctionOrMethodOrProperty(WyalFile.Opcode opcode, WyalFile.Tuple<WyalFile.Type> parameters, WyalFile.Tuple<WyalFile.Type> returns, wybs.lang.Attribute... attributes)
InfixOperator(WyalFile.Opcode opcode, WyalFile.Expr... operands)
Operator(WyalFile.Opcode opcode, WyalFile.Expr... operands)
Quantifier(WyalFile.Opcode opcode, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Expr body)
Quantifier(WyalFile.Opcode opcode, WyalFile.Tuple<WyalFile.VariableDeclaration> parameters, WyalFile.Stmt.Block body)
Quantifier(WyalFile.Opcode opcode, WyalFile.VariableDeclaration[] parameters, WyalFile.Expr body)
Quantifier(WyalFile.Opcode opcode, WyalFile.VariableDeclaration[] parameters, WyalFile.Stmt.Block body)
UnionOrIntersection(WyalFile.Opcode kind, WyalFile.Type[] types, wybs.lang.Attribute... attributes)
Value(WyalFile.Opcode opcode)
Value(WyalFile.Opcode opcode, Object data)

Uses of WyalFile.Opcode in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type WyalFile.Opcode

Modifier and Type	Method and Description
Formula.Truth	Simplification.evaluateEquality(WyalFile.Opcode opcode, WyalFile.Value lhs, WyalFile.Value rhs) Evaluate a given equality whose bounds are known to be constant values of some sort.
Formula.Truth	Simplification.evaluateInequality(WyalFile.Opcode opcode, WyalFile.Value.Int lhs, WyalFile.Value.Int rhs) Evaluate a given inequality whose bounds are known to be constant integer values.

Uses of WyalFile.Opcode in wytp.proof.util

Methods in wytp.proof.util with parameters of type WyalFile.Opcode

Modifier and Type	Method and Description
static <T extends WyalFile.Expr> List<T>	AbstractProofRule.extractDefinedTerms(SyntacticItem item, WyalFile.Opcode kind, Formula.Quantifier... stack) Search through a given syntactic item looking for matching ground terms which are guaranteed to be defined in the given state.