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 AnyTerm

asType, equalsWithSubstitution, getInputVariables, getPrivateVariables, getVariables, hashCodeWithSubstitution

Methods inherited from interface Term

evaluate, getType, reduce, rewriteSubTerms, substitute

Method Details

orElseConcreteness

Term<T> orElseConcreteness(ConcretenessSpecification fallback)