Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator

Interface LogicEquivalenceAnalyzer

All Known Implementing Classes:

HomomorphismBasedEquivalenceAnalyzer

public interface LogicEquivalenceAnalyzer

Field Summary

Fields

Modifier and Type	Field	Description
static final Optional<Boolean>	UNKNOWN

Method Summary

Modifier and Type	Method	Description
Optional<Boolean>	areEquivalent(DerivationRule first, DerivationRule second)
Optional<Boolean>	areEquivalent(LogicConstraint first, LogicConstraint second)
Optional<Boolean>	areEquivalent(List<Literal> first, List<Literal> second)

Field Details

UNKNOWN

static final Optional<Boolean> UNKNOWN

Method Details

areEquivalent

Optional<Boolean> areEquivalent(List<Literal> first,
 List<Literal> second)

areEquivalent

Optional<Boolean> areEquivalent(LogicConstraint first,
 LogicConstraint second)

areEquivalent

Optional<Boolean> areEquivalent(DerivationRule first,
 DerivationRule second)