Package tools.refinery.store.reasoning.literal

Class CountUpperBoundLiteral

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.AbstractCallLiteral

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

tools.refinery.store.reasoning.literal.CountUpperBoundLiteral

All Implemented Interfaces:

Literal

public class CountUpperBoundLiteral
extends AbstractCountLiteral<UpperCardinality>

Constructor Summary

Constructors

Constructor	Description
CountUpperBoundLiteral(DataVariable<UpperCardinality> resultVariable, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
protected Literal	doSubstitute(Substitution substitution, List<Variable> substitutedArguments)
protected UpperCardinality	one()
protected String	operatorName()
AbstractCallLiteral	withArguments(Constraint newTarget, List<Variable> newArguments)
protected UpperCardinality	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

CountUpperBoundLiteral

public CountUpperBoundLiteral(DataVariable<UpperCardinality> resultVariable,
 Constraint target,
 List<Variable> arguments)

Method Details

zero

protected UpperCardinality zero()

Specified by:

zero in class AbstractCountLiteral<UpperCardinality>

one

protected UpperCardinality one()

Specified by:

one in class AbstractCountLiteral<UpperCardinality>

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<UpperCardinality>