Constructor class

Constructors

Constructor(Sym name, Sym recognizer, Map<Sym, Sort> fields)

Properties

fields → Map<Sym, Sort>

final

hashCode → int

The hash code for this object.

no setter, inherited

name → Sym

final

recognizer → Sym

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

buildConstructor(Context c) → Z3_constructor

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