Class SpecializableLogicalFunctionalTermImpl

java.lang.Object

fr.inria.rules.integraal.model.logicalElements.impl.functionalTerms.AbstractLogicalFunctionalTermImpl

fr.inria.rules.integraal.model.logicalElements.impl.functionalTerms.SpecializableLogicalFunctionalTermImpl

All Implemented Interfaces:

fr.inria.rules.dlgpemodel.api.elems.ITerm, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, Standardizable, LogicalFunctionalTerm, SpecializableLogicalFunctionalTerm, Substitutable<Term>, Term, TermCompound, TermSequenceCompound

public class SpecializableLogicalFunctionalTermImpl
extends AbstractLogicalFunctionalTermImpl
implements SpecializableLogicalFunctionalTerm

Default implementation of FunctionalTerm

Author:

Florent Tornil

Field Summary

Fields inherited from class AbstractLogicalFunctionalTermImpl

function_name, sub_terms

Fields inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

WRITER

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SpecializableLogicalFunctionalTermImpl(String function_name, List<Term> sub_terms)	Default constructor

Method Summary

Modifier and Type	Method	Description
Term	applySubstitution(Substitution substitution, boolean evaluate)	Applies a substitution to this term.
LogicalFunctionalTerm	specialize(Substitution s, boolean evaluate)	Applies a substitution to this term while optionally evaluating nested expressions.

Methods inherited from class AbstractLogicalFunctionalTermImpl

equals, getFunctionName, getTermSequence, hashCode, label, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface fr.inria.rules.dlgpemodel.api.sentences.IPrintable

toDLGPE

Methods inherited from interface LogicalFunctionalTerm

getFunctionName, homomorphism, isFunctionalTerm, isGround, toStandardForm

Methods inherited from interface SpecializableLogicalFunctionalTerm

specialize

Methods inherited from interface Standardizable

toStandardForm

Methods inherited from interface Term

applySubstitution, isConstant, isEvaluableFunction, isFrozen, isLiteral, isVariable, label

Methods inherited from interface TermCompound

getAllNestedTerms, getConstants, getLiterals, getNestedTerms, getVariables

Methods inherited from interface TermSequenceCompound

getTerm, getTerms, getTermSequence, homomorphism

Constructor Details

SpecializableLogicalFunctionalTermImpl

protected SpecializableLogicalFunctionalTermImpl(String function_name,
 List<Term> sub_terms)

Default constructor

Parameters:

function_name - the name of the function to call

sub_terms - the parameters of the function

Method Details

specialize

public LogicalFunctionalTerm specialize(Substitution s,
 boolean evaluate)

Description copied from interface: SpecializableLogicalFunctionalTerm

Applies a substitution to this term while optionally evaluating nested expressions.

Specified by:

specialize in interface SpecializableLogicalFunctionalTerm

Parameters:

s - substitution

evaluate - force the evaluation of the evaluable sub terms

Returns:

a new functional term where the substitution has been applied

applySubstitution

public Term applySubstitution(Substitution substitution,
 boolean evaluate)

Description copied from interface: Term

Applies a substitution to this term.

Specified by:

applySubstitution in interface Substitutable<Term>

Specified by:

applySubstitution in interface Term

Parameters:

substitution - the substitution to apply

evaluate - whether nested evaluable functions should be evaluated

Returns:

the substituted term