Package tools.refinery.logic.equality

Interface LiteralHashCodeHelper

All Known Implementing Classes:

SubstitutingLiteralHashCodeHelper

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface LiteralHashCodeHelper

Field Summary

Fields

Modifier and Type	Field	Description
static final LiteralHashCodeHelper	DEFAULT

Method Summary

Modifier and Type	Method	Description
int	getVariableHashCode(Variable variable)

Field Details

DEFAULT

static final LiteralHashCodeHelper DEFAULT

Method Details

getVariableHashCode

int getVariableHashCode(Variable variable)