Package fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier
package fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier
-
ClassDescriptionA trigger applier applies a homomorphism to the rule's head and adds the resulting atoms to the readWriteDataApplies the given triggers by * renaming the existentials * and creating the image of the rule's head with the renamed homomorphism * then add the images to the facts