Class FreshRenamer

java.lang.Object

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

All Implemented Interfaces:

TriggerRenamer

public class FreshRenamer
extends Object
implements TriggerRenamer

Rename with a fresh variable each time

Constructor Summary

Constructors

Constructor	Description
FreshRenamer(TermFactory tf)	Creates a renamer generating a fresh variable for each existential.

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

FreshRenamer

public FreshRenamer(TermFactory tf)

Creates a renamer generating a fresh variable for each existential.

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