Package tools.refinery.logic.equality

Interface LiteralEqualityHelper

All Superinterfaces:

DnfEqualityChecker

All Known Implementing Classes:

SubstitutingLiteralEqualityHelper

public interface LiteralEqualityHelper
extends DnfEqualityChecker

Field Summary

Fields

Modifier and Type	Field	Description
static final LiteralEqualityHelper	DEFAULT

Method Summary

Modifier and Type	Method	Description
boolean	variableEqual(Variable left, Variable right)

Methods inherited from interface tools.refinery.logic.equality.DnfEqualityChecker

dnfEqual

Field Details

DEFAULT

static final LiteralEqualityHelper DEFAULT

Method Details

variableEqual

boolean variableEqual(Variable left,
 Variable right)