LoadFieldRule class

VarPointsTo(target, targetHeap) :- LoadField(base, field, target), VarPointsTo(base, baseHeap), HeapPointsTo(baseHeap, field, targetHeap).

Inheritance

• Object
• DatalogRule
• LoadFieldRule

Constructors

LoadFieldRule()

Properties

hashCode → int

The hash code for this object.

no setter, inherited

headRelation → String

final, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

stratum → int

Stratum for stratified evaluation.

final, inherited

Methods

evaluate(Map<String, List<List<Object>>> facts, Map<String, List<List<Object>>> derived) → List<Fact>

Evaluates the rule and returns derived facts.

override

getCombined(String relation, Map<String, List<List<Object>>> facts, Map<String, List<List<Object>>> derived) → Iterable<List<Object>>

Returns a lazy iterable combining facts and derived tuples for a relation.

inherited

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