CopyRule class
VarPointsTo(var1, heap) :- Assign(var1, var2), VarPointsTo(var2, heap).
- Inheritance
-
- Object
- DatalogRule
- CopyRule
Constructors
- CopyRule()
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- headRelation → String
-
finalinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- stratum → int
-
Stratum for stratified evaluation.
finalinherited
Methods
-
evaluate(
Map< String, List< facts, Map<List< >Object> >String, List< derived) → List<List< >Object> >Fact> -
Evaluates the rule and returns derived facts.
override
-
getCombined(
String relation, Map< String, List< facts, Map<List< >Object> >String, List< derived) → Iterable<List< >Object> >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