Interface Constant

All Superinterfaces:

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

All Known Implementing Classes:

ConstantImpl

public interface Constant
extends Term, fr.inria.rules.dlgpemodel.api.elems.IConstant

A constant is a symbol referring to something

Author:

Florent Tornil

Field Summary

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

WRITER

Method Summary

Modifier and Type	Method	Description
default Constant	applySubstitution(Substitution substitution, boolean evaluate)	Applies a substitution to this term.
default boolean	isConstant()	Indicates whether this term is a constant.
default boolean	isGround()	Indicates whether this term contains no variables.
default String	toStandardForm(Boolean shortForm)	Returns the standardized textual form.

Methods inherited from interface fr.inria.rules.dlgpemodel.api.elems.IConstant

getName

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

toDLGPE

Methods inherited from interface Standardizable

toStandardForm

Methods inherited from interface Term

applySubstitution, isEvaluableFunction, isFrozen, isFunctionalTerm, isLiteral, isVariable, label

Method Details

isConstant

default boolean isConstant()

Description copied from interface: Term

Indicates whether this term is a constant.

Specified by:

isConstant in interface Term

Returns:

true iff this object is a Constant

isGround

default boolean isGround()

Description copied from interface: Term

Indicates whether this term contains no variables.

Specified by:

isGround in interface Term

Returns:

true iff this object and its nested terms do not contain any variable

applySubstitution

default Constant 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

toStandardForm

default String toStandardForm(Boolean shortForm)

Description copied from interface: Standardizable

Returns the standardized textual form.

Specified by:

toStandardForm in interface Standardizable

Parameters:

shortForm - indicates whether the generated form should take into account the prefix system

Returns:

the standardized form