x_set_macro.h File Reference

#include "bitset.h"

Include dependency graph for x_set_macro.h:

Go to the source code of this file.

Defines
#define	uset   #_INCLUDED
#define	uset   #_CHOOSE_FAILURE ((#base_type#)BS_CHOOSE_FAILURE)
#define	uset   #_Create BS_Create
#define	uset   #_Size_Alloc_Size BS_Size_Alloc_Size
#define	uset   #_Alloc_Size BS_Alloc_Size
#define	uset   #_ClearD BS_ClearD
#define	uset   #_Create_Empty BS_Create_Empty
#define	uset   #_Range BS_Range
#define	uset   #_RangeD BS_RangeD
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset   #_Universe BS_Universe
#define	uset   #_UniverseD BS_UniverseD
#define	uset   #_Copy BS_Copy
#define	uset   #_CopyD BS_CopyD
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset   #_Difference BS_Difference
#define	uset   #_DifferenceD BS_DifferenceD
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset   #_Intersection BS_Intersection
#define	uset   #_IntersectionD BS_IntersectionD
#define	uset   #_Size BS_Size
#define	uset   #_Union BS_Union
#define	uset   #_UnionD BS_UnionD
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset
#define	uset   #_ContainsP BS_ContainsP
#define	uset   #_EmptyP BS_EmptyP
#define	uset   #_EqualP BS_EqualP
#define	uset   #_IntersectsP BS_IntersectsP
#define	uset   #_MemberP(set,x) BS_MemberP((set),#elt_num#(x))
#define	uset   #_MemberPS(set,x,s) BS_MemberP((set),#elt_num_sub#((x),(s)))
#define	uset
#define	uset
#define	uset   #_Print BS_Print
#define	FOR_ALL_
Variables
BEGIN typedef BS BEGIN SUBUNIVERSES class uset	_SUBUNIVERSE
END SUBUNIVERSES BEGIN	SUBUNIVERSES

---

Define Documentation

#define FOR_ALL_

Value:

#uset#_members(set,x)   \
    for (x = #uset#_Choose(set);        \
         x != #uset#_CHOOSE_FAILURE;    \
         x = #uset#_Choose_Next(set,x))

Definition at line 252 of file x_set_macro.h.

#define uset   #_Print BS_Print

#define uset

Value:

#_Intersection_MemberPS(set1,set2,x,s)                     \
    BS_Intersection_MemberP((set1),(set2),#elt_num_sub#((x),(s)))

#define uset

Value:

#_Intersection_MemberP(set1,set2,x)                        \
    BS_Intersection_MemberP((set1),(set2),#elt_num#(x))

#define uset   #_MemberPS(set,x,s) BS_MemberP((set),#elt_num_sub#((x),(s)))

#define uset   #_MemberP(set,x) BS_MemberP((set),#elt_num#(x))

#define uset   #_IntersectsP BS_IntersectsP

#define uset   #_EqualP BS_EqualP

#define uset   #_EmptyP BS_EmptyP

#define uset   #_ContainsP BS_ContainsP

#define uset

Value:

#_Union1DS(s,x,p,sub)                                      \
    BS_Union1D((s),#elt_num_sub#((x),(sub)),(p))

#define uset

Value:

#_Union1D(s,x,p)                                           \
    BS_Union1D((s),#elt_num#(x),(p))

#define uset

Value:

#_Union1S(s,x,p,sub)                                       \
    BS_Union1((s),#elt_num_sub#((x),(sub)),(p))

#define uset

Value:

#_UnionD_Intersection(s1,s2,s3,p)                          \
    BS_UnionD_Intersection((s1),(s2),(s3),(p))

#define uset

Value:

#_Union1(s,x,p)                                            \
    BS_Union1((s),#elt_num#(x),(p))

#define uset   #_UnionD BS_UnionD

#define uset   #_Union BS_Union

#define uset   #_Size BS_Size

#define uset   #_IntersectionD BS_IntersectionD

#define uset   #_Intersection BS_Intersection

#define uset

Value:

#_Difference1DS(s,e,sub)                                   \
    BS_Difference1D(s,#elt_num_sub#((e),(sub)))

#define uset

Value:

#_Difference1D(s,e)                                        \
    BS_Difference1D(s,#elt_num#(e))

#define uset

Value:

#_Difference1S(s,e,p,sub)                                  \
    BS_Difference1(s,#elt_num_sub#((e),(sub)),(p))

#define uset

Value:

#_Difference1(s,e,p)                                       \
    BS_Difference1(s,#elt_num#(e),(p))

#define uset   #_DifferenceD BS_DifferenceD

#define uset   #_Difference BS_Difference

#define uset

Value:

#_Choose_RangeS(x,l,h,s)                                   \
  #uset#_bs_elt_base_type_sub(BS_Choose_Range((x),(l),(h)),(s))

#define uset

Value:

#_Choose_Range(x,l,h)                                      \
  #uset#_bs_elt_base_type(BS_Choose_Range((x),(l),(h)))

#define uset

Value:

#_Intersection_Choose_Next(x1,x2,e)                        \
  #uset#_bs_elt_base_type(BS_Intersection_Choose_Next((x1),(x2),#elt_num#(e)))

#define uset

Value:

#_Choose_Next(x,e)                                         \
  #uset#_bs_elt_base_type(BS_Choose_Next((x),#elt_num#(e)))

#define uset

Value:

#_Intersection_ChooseS(x1,x2,s)                            \
  #uset#_bs_elt_base_type_sub(BS_Intersection_Choose((x1),(x2)),(s))

#define uset

Value:

#_Intersection_Choose(x1,x2)                               \
  #uset#_bs_elt_base_type(BS_Intersection_Choose((x1),(x2)))

#define uset

Value:

#_ChooseS(x,s)                                             \
  #uset#_bs_elt_base_type_sub(BS_Choose(x),s)

#define uset

Value:

#_Choose(x)                                                \
  #uset#_bs_elt_base_type(BS_Choose(x))

#define uset   #_CopyD BS_CopyD

#define uset   #_Copy BS_Copy

#define uset   #_UniverseD BS_UniverseD

#define uset   #_Universe BS_Universe

#define uset

Value:

#_SingletonDS(s,e,p,sub)                                   \
    BS_SingletonD((s),#elt_num_sub#((e),(sub)),(p))

#define uset

Value:

#_SingletonD(s,e,p)                                        \
    BS_SingletonD((s),#elt_num#(e),(p))

#define uset

Value:

#_SingletonS(e,p,s)                                        \
    BS_Singleton(#elt_num_sub#((e),(s)),(p))

#define uset

Value:

#_Singleton(e,p)                                           \
    BS_Singleton(#elt_num#(e),(p))

#define uset   #_RangeD BS_RangeD

#define uset   #_Range BS_Range

#define uset   #_Create_Empty BS_Create_Empty

#define uset   #_ClearD BS_ClearD

#define uset   #_Alloc_Size BS_Alloc_Size

#define uset   #_Size_Alloc_Size BS_Size_Alloc_Size

#define uset   #_Create BS_Create

#define uset   #_CHOOSE_FAILURE ((#base_type#)BS_CHOOSE_FAILURE)

#define uset   #_INCLUDED

---

Variable Documentation

BEGIN typedef BS BEGIN SUBUNIVERSES class uset _SUBUNIVERSE

Definition at line 68 of file x_set_macro.h.

END SUBUNIVERSES BEGIN SUBUNIVERSES