Interface TriggerRenamer

All Known Implementing Classes:
BodySkolem, FreshRenamer, FrontierByPieceSkolem, FrontierSkolem
public interface TriggerRenamer
Renames the existentials on the homomorphism from the given rules

  • Method Details

    • renameExistentials

      Substitution renameExistentials(FORule rule, Substitution substitution)
      Is expected to NOT change the given substitution
      Parameters:
      rule - rule that created the trigger
      substitution - the trigger
      Returns:
      a substitution made from all the entries of the initial substitution and an additional entry for each existential of the rule that is not in the initial substitution