Package fr.inria.rules.integraal.forward_chaining.chase.rule_applier.body_to_query_transformer

package fr.inria.rules.integraal.forward_chaining.chase.rule_applier.body_to_query_transformer

Related Packages

Package	Description
fr.inria.rules.integraal.forward_chaining.chase.rule_applier
fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier
fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_checker
fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_computer

Class	Description
AllTransformer	Transforms a rule's body into a query using all variables as answer variables
BodyToQueryTransformer	Transforms a rule body into a query The properties of the query answer variables are dependent on the implementation
FrontierTransformer	Transforms a rule's body into a query using only frontier variables as answer variables