public final class Orthogonalizer
extends java.lang.Object
Constructor and Description |
---|
Orthogonalizer() |
Modifier and Type | Method and Description |
---|---|
static boolean |
areDisjoint(Clause lhs,
Clause rhs)
Checks whether two clauses (conjuncts),
lhs and rhs , are disjoint
(mutually exclusive or orthogonal). |
static boolean |
areDisjoint(Clause lhs,
Clause rhs,
java.util.Set<Conflict> conflicts)
Checks whether two clauses (conjuncts),
lhs and rhs , are disjoint
(mutually exclusive or orthogonal) w.r.t. |
static NormalForm |
orthogonalize(NormalForm form)
Orthogonalizes the specified DNF, i.e.
|
static NormalForm |
orthogonalize(NormalForm form,
java.util.Set<Conflict> conflicts)
Orthogonalizes the specified DNF, i.e.
|
public static boolean areDisjoint(Clause lhs, Clause rhs)
lhs
and rhs
, are disjoint
(mutually exclusive or orthogonal).lhs
- the left-hand-side clause.rhs
- the right-hand-side clause.true
if the clauses are disjoint; false
otherwise.public static boolean areDisjoint(Clause lhs, Clause rhs, java.util.Set<Conflict> conflicts)
lhs
and rhs
, are disjoint
(mutually exclusive or orthogonal) w.r.t. the given set of conflicts.lhs
- the left-hand-side clause.rhs
- the right-hand-side clause.conflicts
- the set of conflicts.true
if the clauses are disjoint; false
otherwise.public static NormalForm orthogonalize(NormalForm form, java.util.Set<Conflict> conflicts)
form
- the DNF to be orthogonalized.conflicts
- the set of conflicts.public static NormalForm orthogonalize(NormalForm form)
form
- the DNF to be orthogonalized.