Class PartialCallTerm<T>

java.lang.Object

tools.refinery.logic.term.AbstractTerm<T>

tools.refinery.logic.term.AbstractCallTerm<T>

tools.refinery.store.reasoning.literal.PartialCallTerm<T>

All Implemented Interfaces:

AnyTerm, Term<T>, PartialTerm<T>

Direct Known Subclasses:

PartialAggregationTerm, PartialCountTerm, ReifyTerm

public abstract class PartialCallTerm<T>
extends AbstractCallTerm<T>
implements PartialTerm<T>

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PartialCallTerm(Class<T> type, Constraint target, List<Variable> arguments)

Method Summary

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

Methods inherited from class AbstractCallTerm

doSubstitute, equalsWithSubstitution, evaluate, getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, getVariables, hashCodeWithSubstitution, rewriteSubTerms, substitute, withArguments, withTarget

Methods inherited from class AbstractTerm

equals, getType, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface AnyTerm

asType, equalsWithSubstitution, getInputVariables, getPrivateVariables, getVariables, hashCodeWithSubstitution

Methods inherited from interface Term

evaluate, getType, reduce, rewriteSubTerms, substitute

Constructor Details

PartialCallTerm

protected PartialCallTerm(Class<T> type,
 Constraint target,
 List<Variable> arguments)

Method Details

orElseConcreteness

public Term<T> orElseConcreteness(ConcretenessSpecification fallback)

Specified by:

orElseConcreteness in interface PartialTerm<T>

getConcreteness

public ConcretenessSpecification getConcreteness()