Interface SpecializableLogicalFunctionalTerm

All Superinterfaces:

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

All Known Implementing Classes:

SpecializableLogicalFunctionalTermImpl

public interface SpecializableLogicalFunctionalTerm
extends LogicalFunctionalTerm

A logical functional term that can specialize itself under a substitution.

Field Summary

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

WRITER

Method Summary

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

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 Standardizable

toStandardForm

Methods inherited from interface Term

applySubstitution, 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

Method Details

specialize

LogicalFunctionalTerm specialize(Substitution s,
 boolean evaluate)

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

Parameters:

s - substitution

evaluate - force the evaluation of the evaluable sub terms

Returns:

a new functional term where the substitution has been applied

specialize

default LogicalFunctionalTerm specialize(Substitution s)

Applies a substitution to this term without forcing evaluation.

Parameters:

s - substitution

Returns:

a new functional term where the substitution has been applied