Package tools.refinery.store.reasoning.literal

Class CountCandidateUpperBoundLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.AbstractCallLiteral

tools.refinery.logic.literal.AbstractCountLiteral<Integer>

tools.refinery.store.reasoning.literal.CountCandidateUpperBoundLiteral

All Implemented Interfaces:

Literal

public class CountCandidateUpperBoundLiteral
extends AbstractCountLiteral<Integer>

Constructor Summary

Constructors

Constructor	Description
CountCandidateUpperBoundLiteral(DataVariable<Integer> resultVariable, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
protected Integer	one()
protected String	operatorName()
AbstractCallLiteral	withArguments(Constraint newTarget, List<Variable> newArguments)
protected Integer	zero()

Methods inherited from class tools.refinery.logic.literal.AbstractCountLiteral

equalsWithSubstitution, getOutputVariables, getResultType, getResultVariable, hashCodeWithSubstitution, reduce, toString

Methods inherited from class tools.refinery.logic.literal.AbstractCallLiteral

getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, substitute, withTarget

Methods inherited from class tools.refinery.logic.literal.AbstractLiteral

equals, hashCode

Methods inherited from class java.lang.Object

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

Constructor Details

CountCandidateUpperBoundLiteral

public CountCandidateUpperBoundLiteral(DataVariable<Integer> resultVariable,
 Constraint target,
 List<Variable> arguments)

Method Details

zero

protected Integer zero()

Specified by:

zero in class AbstractCountLiteral<Integer>

one

protected Integer one()

Specified by:

one in class AbstractCountLiteral<Integer>

doSubstitute

protected Literal doSubstitute(Substitution substitution,
 List<Variable> substitutedArguments)

Specified by:

doSubstitute in class AbstractCallLiteral

withArguments

public AbstractCallLiteral withArguments(Constraint newTarget,
 List<Variable> newArguments)

Specified by:

withArguments in class AbstractCallLiteral

operatorName

protected String operatorName()

Specified by:

operatorName in class AbstractCountLiteral<Integer>