Class Overview
Compares two clauses for equivalence using a simple algorithm.
Summary
Public Methods |
boolean
|
isEquivalent(Clause clause, Clause clause1)
Compares two clauses for equivalence suitable for use in Issue Navigator; e.g.
|
[Expand]
Inherited Methods |
From class
java.lang.Object
Object
|
clone()
|
boolean
|
equals(Object arg0)
|
void
|
finalize()
|
final
Class<?>
|
getClass()
|
int
|
hashCode()
|
final
void
|
notify()
|
final
void
|
notifyAll()
|
String
|
toString()
|
final
void
|
wait()
|
final
void
|
wait(long arg0, int arg1)
|
final
void
|
wait(long arg0)
|
|
Public Constructors
public
SimpleEquivalenceComparator
()
Public Methods
public
boolean
isEquivalent
(Clause clause, Clause clause1)
Compares two clauses for equivalence suitable for use in Issue Navigator; e.g. clauses that may actually be
logically equivalent, but are structured differently, would fail this test. Note that ordering is not important
within MultiClause
s
It is assumed that both clauses have been normalised before being passed in, so that their structures are as
similar as possible.
Parameters
clause
| a normalised Clause; never null |
clause1
| a normalised Clause; never null |
Returns
- true if the clauses are equivalent; false otherwise.