Package tools.refinery.logic.literal

Class AbstractCountLiteral<T>

java.lang.Object

tools.refinery.logic.literal.AbstractLiteral

tools.refinery.logic.literal.AbstractCallLiteral

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

All Implemented Interfaces:

Literal

public abstract class AbstractCountLiteral<T>
extends AbstractCallLiteral

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractCountLiteral(Class<T> resultType, DataVariable<T> resultVariable, Constraint target, List<Variable> arguments)

Method Summary

Modifier and Type	Method	Description
boolean	equalsWithSubstitution(LiteralEqualityHelper helper, Literal other)
Set<Variable>	getOutputVariables()
Class<T>	getResultType()
DataVariable<T>	getResultVariable()
int	hashCodeWithSubstitution(LiteralHashCodeHelper helper)
protected abstract T	one()
protected abstract String	operatorName()
Literal	reduce()
String	toString()
protected abstract T	zero()

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

doSubstitute, getArguments, getArgumentsOfDirection, getInputVariables, getPrivateVariables, getTarget, substitute, withArguments, 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

AbstractCountLiteral

protected AbstractCountLiteral(Class<T> resultType,
 DataVariable<T> resultVariable,
 Constraint target,
 List<Variable> arguments)

Method Details

getResultType

public Class<T> getResultType()

getResultVariable

public DataVariable<T> getResultVariable()

getOutputVariables

public Set<Variable> getOutputVariables()

zero

protected abstract T zero()

one

protected abstract T one()

reduce

public Literal reduce()

equalsWithSubstitution

public boolean equalsWithSubstitution(LiteralEqualityHelper helper,
 Literal other)

Specified by:

equalsWithSubstitution in interface Literal

Overrides:

equalsWithSubstitution in class AbstractCallLiteral

hashCodeWithSubstitution

public int hashCodeWithSubstitution(LiteralHashCodeHelper helper)

Specified by:

hashCodeWithSubstitution in interface Literal

Overrides:

hashCodeWithSubstitution in class AbstractCallLiteral

operatorName

protected abstract String operatorName()

toString

public String toString()

Overrides:

toString in class Object