Package org.deri.iris.optimisations.magicsets

Interface Summary

ISip	A SIP (Sideway Information Passing) to determine which variable of which literal was passed/bound by which literal.

Class Summary

AdornedProgram	This is a simple implementation of an adorned program.
AdornedProgram.AdornedPredicate	Represents an adorned predicate.
AdornedProgram.AdornedRule	Simple representation of an adorned rule.
LeftToRightSip	Sip, which examines the body literals from left to right.
MagicSets	Simple implementation of the "Generalized Magic Sets" according to the "The Power of Magic" paper.

Enum Summary

Adornment

Represents a state of an adornment.