Class GroundFunctionalTermImpl

java.lang.Object

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

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

All Implemented Interfaces:

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

public class GroundFunctionalTermImpl
extends AbstractLogicalFunctionalTermImpl

Default implementation of a ground FunctionalTerm (not specializable, nor evaluable)

Author:

Federico Ulliana

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	GroundFunctionalTermImpl(String function_name, List<Term> subTerms)	Creates a ground functional term.

Method Summary

Modifier and Type	Method	Description
Term	applySubstitution(Substitution substitution, boolean evaluate)	Applies a substitution to this term.

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

homomorphism, isFunctionalTerm, isGround, toStandardForm

Methods inherited from interface Standardizable

toStandardForm

Methods inherited from interface Term

applySubstitution, isConstant, isEvaluableFunction, isFrozen, isLiteral, isVariable

Methods inherited from interface TermCompound

getAllNestedTerms, getConstants, getLiterals, getNestedTerms, getVariables

Methods inherited from interface TermSequenceCompound

getTerm, getTerms, homomorphism

Constructor Details

GroundFunctionalTermImpl

protected GroundFunctionalTermImpl(String function_name,
 List<Term> subTerms)

Creates a ground functional term.

Parameters:

function_name - the function symbol

subTerms - the ordered arguments of the function

Method Details

applySubstitution

public Term applySubstitution(Substitution substitution,
 boolean evaluate)

Description copied from interface: Term

Applies a substitution to this term.

Parameters:

substitution - the substitution to apply

evaluate - whether nested evaluable functions should be evaluated

Returns:

the substituted term