Package tools.refinery.store.reasoning.literal

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 tools.refinery.logic.term.AbstractCallTerm

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

Methods inherited from class tools.refinery.logic.term.AbstractTerm

equals, getType, hashCode

Methods inherited from class java.lang.Object

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

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

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()