Package fr.inria.rules.integraal.forward_chaining.chase.treatment

package fr.inria.rules.integraal.forward_chaining.chase.treatment

Related Packages

Package	Description
fr.inria.rules.integraal.forward_chaining.chase

Class	Description
AddCreatedFacts<RW extends MaterializedData & Writable>	When applied, this treatment adds the facts created at the previous step to the factbase This is used for parallel application of rules.
ComputeCore<RW extends MaterializedData & Writable>	Treatment that computes the core of the current fact base
ComputeLocalCore<RW extends MaterializedData & Writable>	Treatment that computes the local core of the current fact base This treatment consists of only remove all the redundant atoms created at the last step
Debug<RW extends MaterializedData & Writable>	Treatment that prints a debug description of the chase.
EndTreatment<RW extends MaterializedData & Writable>	These treatments can be applied at the end of a step of the chase
PredicateFilterEndTreatment<RW extends MaterializedData & Writable>	End treatment to filter out facts with predicates not in the provided list.
PreTreatment<RW extends MaterializedData & Writable>	These treatments can be applied at the start of a step of the chase
Report<RW extends MaterializedData & Writable>	When applied, this treatment prints information about the chase, the current step and the fact base
RuleSplit<RW extends MaterializedData & Writable>	When applied, this treatment change the rulebase with an equivalent rule base containing only single piece rules.
Treatment<RW extends MaterializedData & Writable>	Apply a given treatment