Conjunction class

Inheritance

• Object
• Node
• Term
• Conjunction

Annotations

• @immutable

Constructors

Conjunction(Iterable<Node> list)

factory

Properties

arguments → List<Node>

final, inherited

hashCode → int

The hash code for this object.

no setter, override

name → String

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

match(Node other) → Map<Variable, Node>?

inherited

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

query(Database database) → Stream<Node>

override

substitute(Map<Variable, Node>? bindings) → Conjunction

override

toString() → String

A string representation of this object.

override

Operators

operator ==(Object other) → bool

The equality operator.

override