
## Source Code: Relaxedtreesetbba.Java

1 /∗
2 ∗ RelaxedTreeSetBBA . j av a : p a r t o f pa ckag e R e f e r e eTo o lb ox ; **Im p l em e nt at ion o f** 3 ∗ **r e l a x e d Ba s i c B e l i e f Ass ignment .**
4 **∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗**
5 ∗ Copyr ight ( c ) 2010 FrÃc dÃc **ric D am b r e v i l l e**
6 ∗
7 ∗ Author : FrÃc dÃc **ric D am b r e v i l l e <h t tp : / / em a i l . f r e d e r i c d a m b r e v i l l e . com>**
8 ∗ 9 ∗ **Th is f i l e i s p a r t o f R e f e r e eTo o lb ox .**
10 ∗
11 ∗ **R e f e r e eTo o lb ox i s f r e e s o f t w a r e : you can r e d i s t r i b u t e i t and/ o r mod i fy** 12 ∗ **i t und e r th e t e rms o f th e GNU G e n e r a l P u b l i c L i c e n s e a s p u b l i sh e d by** 13 ∗ **th e Fr e e S o f twa r e Foundat ion , e i t h e r v e r s i o n 3 o f th e L i c e n se , o r**
14 ∗ **( a t your o p t i o n ) any l a t e r v e r s i o n .**
15 ∗ 16 ∗ R e f e r e eTo o lb ox i s d i s t r i b u t e d i n th e hope th a t i t w i l l be u s e **f u l ,**
17 ∗ but WITHOUT ANY WARRANTY; w i th ou t ev en th e im p l i e d warranty o f 18 ∗ **MERCHANTABILITY o r FITNESS FOR A PARTICULAR PURPOSE. S e e the**
19 ∗ **GNU G e n e r a l P u b l i c L i c e n s e f o r more d e t a i l s .** 20 ∗
21 ∗ **You sh ou ld have r e c e i v e d a copy o f th e GNU G e n e r a l P u b l i c L i c en s e**
22 ∗ **a l on g w ith R e f e r e eTo o lb ox . I f not , s e e <h t tp : / /www . gnu . o rg / l i c e n s e s />.** 23 **∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗∗**
24 ∗/
25 26 **pa ckag e** RefereeToolbox ;
27 28 /∗∗
29 ∗ **Re lax ed e x t e n s i o n o f { @ l ink TreeSetBBA } .** 30 ∗
31 ∗ @author <A h r e f =" h t tp : / / em a i l . f r e d e r i c d a m b r e v i l l e . com">FrÃc dÃc ric ←֓
D am b r e v i l l e</A>
32 ∗
33 ∗
34 ∗ 35 ∗ **<BR><BR><t a b l e b o rd e r = '1 ' c e l l P a d d i n g ='4'>< t r><td>**
36 ∗ <f o n t c o l o r ="\#008000" s t y l e =" f on t−**f am i l y : g e o r g i a ">**
37 ∗ Copyr ight ( c ) 2010 FrÃc dÃc **ric D am b r e v i l l e<BR>**
38 ∗ **<BR>**
39 ∗ **R e f e r e eTo o lb ox i s f r e e s o f t w a r e : you can r e d i s t r i b u t e i t and/ o r mod i fy** 40 ∗ **i t und e r th e t e rms o f th e GNU G e n e r a l P u b l i c L i c e n s e a s p u b l i sh e d by**
41 ∗ **th e Fr e e S o f twa r e Foundat ion , e i t h e r v e r s i o n 3 o f th e L i c e n se , o r**
42 ∗ **( a t your o p t i o n ) any l a t e r v e r s i o n .<BR>**
43 ∗ **<BR>** 44 ∗ R e f e r e eTo o lb ox i s d i s t r i b u t e d i n th e hope th a t i t w i l l be u s e **f u l ,**
45 ∗ but WITHOUT ANY WARRANTY; w i th ou t ev en th e im p l i e d warranty o f 46 ∗ **MERCHANTABILITY o r FITNESS FOR A PARTICULAR PURPOSE. S e e the** 47 ∗ **GNU G e n e r a l P u b l i c L i c e n s e f o r more d e t a i l s .<BR>** 48 ∗ **<BR>**
49 ∗ **You sh ou ld have r e c e i v e d a copy o f th e GNU G e n e r a l P u b l i c L i c en s e**
50 ∗ **a l on g w ith R e f e r e eTo o lb ox . I f not , s e e** 51 ∗ **<a h r e f = ' h t tp : / /www . gnu . o r g / l i c e n s e s / '> h t tp : / /www . gnu . o r g / l i c e n s e s /</a>.**
52 ∗ **</f on t ></t a b l e><BR>**
53 ∗ 54 ∗/
55 **p u b l i c c l a s s** RelaxedTreeSetBBA< Prop **e x t e nd s** Lattice<Prop >,
56 B **e x t e nd s** RelaxedTreeSetBBA<Prop , B> >
57 **e x t e nd s** TreeSetBBA <Prop , B>
58 **imp l em ents** RelaxedBBA <Prop , B> {
59 60 @Override 61 **p r o t e c t e d b o o l e an** relaxed ( ) { r e t u r n t r u e ; }
62 63 64 **// / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / / :** 65 **// p u b l i c p a r t**
66 **// /////////////** 67 68 /∗∗ 69 ∗ **Re lax <i>t h i s </ i> s o th a t i t c o n t a i n s no more than <i>maxMem</ i> a s s i gnm e n t s .**
70 ∗
71 ∗/