

#ifndef ABitset_included
#define ABitset_included

#define __ABitset_SOC __ABitset_2
extern OBJ __ABitset_SOC;

#define __ABitset_Aincl __ABitset_3
#define _ABitset_Aincl _ABitset_3
#define ABitset_3 ABitset_Aincl
extern OBJ __ABitset_Aincl;
extern OBJ _ABitset_Aincl(OBJ,OBJ);

#define __ABitset_S5 __ABitset_4
#define _ABitset_S5 _ABitset_4
#define ABitset_4 ABitset_S5
extern OBJ __ABitset_S5;
extern OBJ _ABitset_S5(OBJ);

#define __ABitset_S5_O1 __ABitset_5
#define _ABitset_S5_O1 _ABitset_5
#define ABitset_5 ABitset_S5_O1
extern OBJ __ABitset_S5_O1;
extern OBJ _ABitset_S5_O1(OBJ,OBJ);

#define __ABitset_S5_O2 __ABitset_6
#define _ABitset_S5_O2 _ABitset_6
#define ABitset_6 ABitset_S5_O2
extern OBJ __ABitset_S5_O2;
extern OBJ _ABitset_S5_O2(OBJ,OBJ,OBJ);

#define __ABitset_S5_O3 __ABitset_7
#define _ABitset_S5_O3 _ABitset_7
#define ABitset_7 ABitset_S5_O3
extern OBJ __ABitset_S5_O3;
extern OBJ _ABitset_S5_O3(OBJ,OBJ,OBJ,OBJ);

#define __ABitset_S5_O4 __ABitset_8
#define _ABitset_S5_O4 _ABitset_8
#define ABitset_8 ABitset_S5_O4
extern OBJ __ABitset_S5_O4;
extern OBJ _ABitset_S5_O4(OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABitset_S5_O5 __ABitset_9
#define _ABitset_S5_O5 _ABitset_9
#define ABitset_9 ABitset_S5_O5
extern OBJ __ABitset_S5_O5;
extern OBJ _ABitset_S5_O5(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABitset_S5_O6 __ABitset_10
#define _ABitset_S5_O6 _ABitset_10
#define ABitset_10 ABitset_S5_O6
extern OBJ __ABitset_S5_O6;
extern OBJ _ABitset_S5_O6(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABitset_S5_O7 __ABitset_11
#define _ABitset_S5_O7 _ABitset_11
#define ABitset_11 ABitset_S5_O7
extern OBJ __ABitset_S5_O7;
extern OBJ _ABitset_S5_O7(OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ,OBJ);

#define __ABitset_Aexcl __ABitset_13
#define _ABitset_Aexcl _ABitset_13
#define ABitset_13 ABitset_Aexcl
extern OBJ __ABitset_Aexcl;
extern OBJ _ABitset_Aexcl(OBJ,OBJ);

#define __ABitset_Sdd __ABitset_14
#define _ABitset_Sdd _ABitset_14
#define ABitset_14 ABitset_Sdd
extern OBJ __ABitset_Sdd;
extern OBJ _ABitset_Sdd(OBJ,OBJ,OBJ);

#define __ABitset_Aiter __ABitset_15
#define _ABitset_Aiter _ABitset_15
#define ABitset_15 ABitset_Aiter
extern OBJ __ABitset_Aiter;
extern OBJ _ABitset_Aiter(OBJ,OBJ,OBJ);

#define __ABitset_Sp __ABitset_16
#define _ABitset_Sp _ABitset_16
#define ABitset_16 ABitset_Sp
extern OBJ __ABitset_Sp;
extern OBJ _ABitset_Sp(OBJ,OBJ);

#define __ABitset_Sm __ABitset_17
#define _ABitset_Sm _ABitset_17
#define ABitset_17 ABitset_Sm
extern OBJ __ABitset_Sm;
extern OBJ _ABitset_Sm(OBJ,OBJ);

#define __ABitset_S8 __ABitset_18
#define _ABitset_S8 _ABitset_18
#define ABitset_18 ABitset_S8
extern OBJ __ABitset_S8;
extern OBJ _ABitset_S8(OBJ,OBJ);

#define __ABitset_Aarb __ABitset_19
#define _ABitset_Aarb _ABitset_19
#define ABitset_19 ABitset_Aarb
extern OBJ __ABitset_Aarb;
extern OBJ _ABitset_Aarb(OBJ);

#define __ABitset_SOC_ __ABitset_20
#define _ABitset_SOC_ _ABitset_20
#define ABitset_20 ABitset_SOC_
extern OBJ __ABitset_SOC_;
extern OBJ _ABitset_SOC_(OBJ);

#define __ABitset_Ain __ABitset_21
#define _ABitset_Ain _ABitset_21
#define ABitset_21 ABitset_Ain
extern OBJ __ABitset_Ain;
extern OBJ _ABitset_Ain(OBJ,OBJ);

#define __ABitset_S3 __ABitset_22
#define _ABitset_S3 _ABitset_22
#define ABitset_22 ABitset_S3
extern OBJ __ABitset_S3;
extern OBJ _ABitset_S3(OBJ);

#define __ABitset_Aexist_ __ABitset_23
#define _ABitset_Aexist_ _ABitset_23
#define ABitset_23 ABitset_Aexist_
extern OBJ __ABitset_Aexist_;
extern OBJ _ABitset_Aexist_(OBJ,OBJ);

#define __ABitset_Afind_ __ABitset_24
#define _ABitset_Afind_ _ABitset_24
#define ABitset_24 ABitset_Afind_
extern OBJ __ABitset_Afind_;
extern OBJ _ABitset_Afind_(OBJ,OBJ);

#define __ABitset_Aforall_ __ABitset_25
#define _ABitset_Aforall_ _ABitset_25
#define ABitset_25 ABitset_Aforall_
extern OBJ __ABitset_Aforall_;
extern OBJ _ABitset_Aforall_(OBJ,OBJ);

#define __ABitset_Se __ABitset_26
#define _ABitset_Se _ABitset_26
#define ABitset_26 ABitset_Se
extern OBJ __ABitset_Se;
extern OBJ _ABitset_Se(OBJ,OBJ);

#define __ABitset_Sle __ABitset_27
#define _ABitset_Sle _ABitset_27
#define ABitset_27 ABitset_Sle
extern OBJ __ABitset_Sle;
extern OBJ _ABitset_Sle(OBJ,OBJ);

#define __ABitset_Sl __ABitset_28
#define _ABitset_Sl _ABitset_28
#define ABitset_28 ABitset_Sl
extern OBJ __ABitset_Sl;
extern OBJ _ABitset_Sl(OBJ,OBJ);

#define __ABitset_SOlC __ABitset_29
#define _ABitset_SOlC _ABitset_29
#define ABitset_29 ABitset_SOlC
extern OBJ __ABitset_SOlC;
extern OBJ _ABitset_SOlC(OBJ,OBJ);

#define __ABitset_Aproduct __ABitset_30
#define _ABitset_Aproduct _ABitset_30
#define ABitset_30 ABitset_Aproduct
extern OBJ __ABitset_Aproduct;
extern OBJ _ABitset_Aproduct(OBJ,OBJ);

#define __ABitset_Aproduct_ __ABitset_31
#define _ABitset_Aproduct_ _ABitset_31
#define ABitset_31 ABitset_Aproduct_
extern OBJ __ABitset_Aproduct_;
extern OBJ _ABitset_Aproduct_(OBJ);

#define __ABitset_Ab __ABitset_32
#define _ABitset_Ab _ABitset_32
#define ABitset_32 ABitset_Ab
extern OBJ __ABitset_Ab;
extern OBJ _ABitset_Ab(OBJ);

#define __ABitset_Aa __ABitset_33
#define _ABitset_Aa _ABitset_33
#define ABitset_33 ABitset_Aa
extern OBJ __ABitset_Aa;
extern OBJ _ABitset_Aa(OBJ);

#include "Bitset.hc.h"

#ifndef ABitset_Aincl
#define ABitset_Aincl(x1,x2,x3) {x3=_ABitset_Aincl(x1,x2);}
#endif

#ifndef ABitset_S5
#define ABitset_S5(x1,x2) {x2=_ABitset_S5(x1);}
#endif

#ifndef ABitset_S5_O1
#define ABitset_S5_O1(x1,x2,x4) {x4=_ABitset_S5_O1(x1,x2);}
#endif

#ifndef ABitset_S5_O2
#define ABitset_S5_O2(x1,x2,x3,x6) {x6=_ABitset_S5_O2(x1,x2,x3);}
#endif

#ifndef ABitset_S5_O3
#define ABitset_S5_O3(x1,x2,x3,x4,x8) {x8=_ABitset_S5_O3(x1,x2,x3,x4);}
#endif

#ifndef ABitset_S5_O4
#define ABitset_S5_O4(x1,x2,x3,x4,x5,x10) {x10=_ABitset_S5_O4(x1,x2,x3,x4,x5);}
#endif

#ifndef ABitset_S5_O5
#define ABitset_S5_O5(x1,x2,x3,x4,x5,x6,x12) {x12=_ABitset_S5_O5(x1,x2,x3,x4,x5,x6);}
#endif

#ifndef ABitset_S5_O6
#define ABitset_S5_O6(x1,x2,x3,x4,x5,x6,x7,x14) {x14=_ABitset_S5_O6(x1,x2,x3,x4,x5,x6,x7);}
#endif

#ifndef ABitset_S5_O7
#define ABitset_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8,x16) {x16=_ABitset_S5_O7(x1,x2,x3,x4,x5,x6,x7,x8);}
#endif

#ifndef ABitset_Aexcl
#define ABitset_Aexcl(x1,x2,x3) {x3=_ABitset_Aexcl(x1,x2);}
#endif

#ifndef ABitset_Sdd
#define ABitset_Sdd(x1,x2,x3,x8) {x8=_ABitset_Sdd(x1,x2,x3);}
#endif

#ifndef ABitset_Aiter
#define ABitset_Aiter(x1,x2,x3,x10) {x10=_ABitset_Aiter(x1,x2,x3);}
#endif

#ifndef ABitset_Sp
#define ABitset_Sp(x1,x2,x3) {x3=_ABitset_Sp(x1,x2);}
#endif

#ifndef ABitset_Sm
#define ABitset_Sm(x1,x2,x3) {x3=_ABitset_Sm(x1,x2);}
#endif

#ifndef ABitset_S8
#define ABitset_S8(x1,x2,x3) {x3=_ABitset_S8(x1,x2);}
#endif

#ifndef ABitset_Aarb
#define ABitset_Aarb(x1,x2) {x2=_ABitset_Aarb(x1);}
#endif

#ifndef ABitset_SOC_
#define ABitset_SOC_(x1,x2) {x2=_ABitset_SOC_(x1);}
#endif

#ifndef ABitset_Ain
#define ABitset_Ain(x1,x2,x3) {x3=_ABitset_Ain(x1,x2);}
#endif

#ifndef ABitset_S3
#define ABitset_S3(x1,x2) {x2=_ABitset_S3(x1);}
#endif

#ifndef ABitset_Aexist_
#define ABitset_Aexist_(x1,x2,x3) {x3=_ABitset_Aexist_(x1,x2);}
#endif

#ifndef ABitset_Afind_
#define ABitset_Afind_(x1,x2,x3) {x3=_ABitset_Afind_(x1,x2);}
#endif

#ifndef ABitset_Aforall_
#define ABitset_Aforall_(x1,x2,x5) {x5=_ABitset_Aforall_(x1,x2);}
#endif

#ifndef ABitset_Se
#define ABitset_Se(x1,x2,x3) {x3=_ABitset_Se(x1,x2);}
#endif

#ifndef ABitset_Sle
#define ABitset_Sle(x1,x2,x3) {x3=_ABitset_Sle(x1,x2);}
#endif

#ifndef ABitset_Sl
#define ABitset_Sl(x1,x2,x3) {x3=_ABitset_Sl(x1,x2);}
#endif

#ifndef ABitset_SOlC
#define ABitset_SOlC(x1,x2,x3) {x3=_ABitset_SOlC(x1,x2);}
#endif

#ifndef ABitset_Aproduct
#define ABitset_Aproduct(x1,x2,x3) {x3=_ABitset_Aproduct(x1,x2);}
#endif

#ifndef ABitset_Aproduct_
#define ABitset_Aproduct_(x1,x2) {x2=_ABitset_Aproduct_(x1);}
#endif

#ifndef ABitset_Ab
#define ABitset_Ab(x1,x4) {x4=_ABitset_Ab(x1);}
#endif

#ifndef ABitset_Aa
#define ABitset_Aa(x1,x4) {x4=_ABitset_Aa(x1);}
#endif

#ifndef ABitset_Aforall__L34
#define ABitset_Aforall__L34(x1,x2,x4) {x4=_ABitset_Aforall__L34(x1,x2);}
#endif

#endif
