Package tools.refinery.store.reasoning.literal

Interface PartialTerm<T>

All Superinterfaces:

AnyTerm, Term<T>

All Known Implementing Classes:

PartialAggregationTerm, PartialCallTerm, PartialCountTerm, PartialFunctionCallTerm, ReifyTerm

public interface PartialTerm<T>
extends Term<T>

Method Summary

Modifier and Type	Method	Description
Term<T>	orElseConcreteness(ConcretenessSpecification fallback)

Methods inherited from interface tools.refinery.logic.term.AnyTerm

asType, equalsWithSubstitution, getInputVariables, getPrivateVariables, getVariables, hashCodeWithSubstitution

Methods inherited from interface tools.refinery.logic.term.Term

evaluate, getType, reduce, rewriteSubTerms, substitute

Method Details

orElseConcreteness

Term<T> orElseConcreteness(ConcretenessSpecification fallback)