Class FrontierSkolem

java.lang.Object

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

All Implemented Interfaces:

TriggerRenamer

public class FrontierSkolem
extends Object
implements TriggerRenamer

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

Constructor Summary

Constructors

Constructor	Description
FrontierSkolem(TermFactory tf)	Creates a renamer using the frontier variables of each rule.

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

FrontierSkolem

public FrontierSkolem(TermFactory tf)

Creates a renamer using the frontier variables of each rule.

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