Interface ComputedAtom

All Superinterfaces:

Atom, Evaluable<Atom>, FOFormula, fr.inria.rules.dlgpemodel.api.formulas.IAtom, fr.inria.rules.dlgpemodel.api.formulas.IFormula, fr.inria.rules.dlgpemodel.api.formulas.IPredicated, fr.inria.rules.dlgpemodel.api.sentences.IPrintable, fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom, Substitutable<FOFormula>, TermCompound, TermSequenceCompound

All Known Implementing Classes:

ComputedAtomImpl

public interface ComputedAtom
extends Atom, Evaluable<Atom>

A computed atom is an Atom with special meaning
This kind of atom must use a full substitution of its variables to be evaluated

Author:

Florent Tornil

Field Summary

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

WRITER

Method Summary

Modifier and Type	Method	Description
Atom	eval(Substitution s)	Evaluate this atom
Invoker	getInvoker()	Returns the invoker used to evaluate this computed atom.
default boolean	isComputedAtom()	Indicates that this atom is computed.

Methods inherited from interface Atom

applySubstitution, applySubstitution, asAtomSet, contains, getPredicate, getPredicates, homomorphism, indexesOf, indexOf, isAtomic

Methods inherited from interface Evaluable

getMandatoryParameters, isEvaluableWith

Methods inherited from interface FOFormula

asBooleanQuery, copy, isConjunction, isDisjunction, isNegation

Methods inherited from interface fr.inria.rules.dlgpemodel.api.formulas.IPredicated

isPatterned

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

toDLGPE

Methods inherited from interface fr.inria.rules.dlgpemodel.api.formulas.IStandardAtom

exports, getTermSequence

Methods inherited from interface TermCompound

getAllNestedTerms, getConstants, getLiterals, getNestedTerms, getVariables

Methods inherited from interface TermSequenceCompound

getTerm, getTerms, getTermSequence, homomorphism

Method Details

eval

Atom eval(Substitution s)

Evaluate this atom

Specified by:

eval in interface Evaluable<Atom>

Parameters:

s - a full substitution of this atom variables.

Returns:

an atom

isComputedAtom

default boolean isComputedAtom()

Indicates that this atom is computed.

Specified by:

isComputedAtom in interface Atom

Returns:

true

getInvoker

Invoker getInvoker()

Returns the invoker used to evaluate this computed atom.

Returns:

the underlying invoker