Class FrontierByPieceSkolem

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.renamer.FrontierByPieceSkolem

All Implemented Interfaces:

TriggerRenamer

public class FrontierByPieceSkolem
extends Object
implements TriggerRenamer

Namer created with all the variables from the piece of the rule's frontier

Constructor Summary

Constructors

Constructor	Description
FrontierByPieceSkolem(TermFactory tf)	Creates a renamer using frontier variables per connected piece.

Method Summary

Modifier and Type	Method	Description
Substitution	renameExistentials(FORule rule, Substitution substitution)	Is expected to NOT change the given substitution

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FrontierByPieceSkolem

public FrontierByPieceSkolem(TermFactory tf)

Creates a renamer using frontier variables per connected piece.

Parameters:

tf - the term factory

Method Details

renameExistentials

public Substitution renameExistentials(FORule rule,
 Substitution substitution)

Description copied from interface: TriggerRenamer

Is expected to NOT change the given substitution

Specified by:

renameExistentials in interface TriggerRenamer

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