org.kahina.logic.sat.muc.data

Class Overlap

java.lang.Object

org.kahina.logic.sat.muc.data.Overlap

public class Overlap
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.TreeSet<java.lang.Integer>	aIntersectB
java.util.TreeSet<java.lang.Integer>	aMinusB
java.util.TreeSet<java.lang.Integer>	bMinusA

Constructor Summary

Constructors

Constructor and Description
Overlap(java.util.List<java.lang.Integer> a, java.util.List<java.lang.Integer> b) Computes the overlap of two lists, very expensive compared to the TreeSet variant!
Overlap(java.util.TreeSet<java.lang.Integer> a, java.util.TreeSet<java.lang.Integer> b)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

aIntersectB

public java.util.TreeSet<java.lang.Integer> aIntersectB

aMinusB

public java.util.TreeSet<java.lang.Integer> aMinusB

bMinusA

public java.util.TreeSet<java.lang.Integer> bMinusA

Constructor Detail

Overlap

public Overlap(java.util.TreeSet<java.lang.Integer> a,
       java.util.TreeSet<java.lang.Integer> b)

Overlap

public Overlap(java.util.List<java.lang.Integer> a,
       java.util.List<java.lang.Integer> b)

Computes the overlap of two lists, very expensive compared to the TreeSet variant!

Parameters:

a -

b -

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object