Package tools.refinery.store.reasoning.literal

Class CountCandidateLowerBoundLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.AbstractCallLiteral

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

tools.refinery.store.reasoning.literal.CountCandidateLowerBoundLiteral

All Implemented Interfaces:

Literal

public class CountCandidateLowerBoundLiteral
extends AbstractCountLiteral<Integer>

Constructor Summary

Constructors

Constructor	Description
CountCandidateLowerBoundLiteral(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

CountCandidateLowerBoundLiteral

public CountCandidateLowerBoundLiteral(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>