Class BodySkolem

java.lang.Object

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

All Implemented Interfaces:

TriggerRenamer

public class BodySkolem
extends Object
implements TriggerRenamer

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

Constructor Summary

Constructors

Constructor	Description
BodySkolem(TermFactory tf)	Creates a renamer using variables from the rule body.

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

BodySkolem

public BodySkolem(TermFactory tf)

Creates a renamer using variables from the rule body.

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