PartialOrder class

Inheritance

• Object
• AST
• Decl
• FuncDecl
• PartialOrder

Available Extensions

• ASTExtension
• FuncDeclExtension

Constructors

PartialOrder(Sort sort, int id)

Properties

domain → List<Sort>

final, inherited

hashCode → int

The hash code for this object.

no setter, inherited

id → int

final

kind → FuncKind

no setter, override

name → Sym

final, inherited

parameters → List<Parameter>

final, inherited

range → Sort

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

build(Context c) → Z3_ast

inherited

buildFuncDecl(Context c) → Z3_func_decl

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited