ListInfo class

Constructors

ListInfo(DatatypeSort sort, ConstVar nil, FuncDecl isNil, FuncDecl cons, FuncDecl isCons, FuncDecl head, FuncDecl tail)

Properties

cons → FuncDecl

final

hashCode → int

The hash code for this object.

no setter, inherited

head → FuncDecl

final

isCons → FuncDecl

final

isNil → FuncDecl

final

nil → ConstVar

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

sort → DatatypeSort

final

tail → FuncDecl

final

Methods

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