cuex/qcode.h: Quantisanion Specifiers
[cuex: Expressions]

Defines
#define	cuex_qcode_count   4
Enumerations
enum	cuex_qcode_t { cuex_qcode_u = 0, cuex_qcode_e = 1, cuex_qcode_w = 2, cuex_qcode_n = 3 }
enum	cuex_qcset_t {   cuex_qcset_bot = 0, cuex_qcset_u = (1 << cuex_qcode_u), cuex_qcset_e = (1 << cuex_qcode_e), cuex_qcset_w = (1 << cuex_qcode_w),   cuex_qcset_n = (1 << cuex_qcode_n), cuex_qcset_ue = cuex_qcset_e | cuex_qcset_u, cuex_qcset_uw = cuex_qcset_u | cuex_qcset_w, cuex_qcset_un = cuex_qcset_u | cuex_qcset_n,   cuex_qcset_ew = cuex_qcset_e | cuex_qcset_w, cuex_qcset_en = cuex_qcset_e | cuex_qcset_n, cuex_qcset_wn = cuex_qcset_w | cuex_qcset_n, cuex_qcset_uew = cuex_qcset_u | cuex_qcset_ew,   cuex_qcset_uen = cuex_qcset_u | cuex_qcset_en, cuex_qcset_uwn = cuex_qcset_u | cuex_qcset_wn, cuex_qcset_ewn = cuex_qcset_e | cuex_qcset_wn, cuex_qcset_uewn = cuex_qcset_ue | cuex_qcset_wn,   cuex_qcset_top = cuex_qcset_uewn }
Functions
cuex_qcset_t	cuex_qcset_union (cuex_qcset_t S0, cuex_qcset_t S1)
cuex_qcset_t	cuex_qcset_isecn (cuex_qcset_t S0, cuex_qcset_t S1)
cuex_qcset_t	cuex_qcset_singleton (cuex_qcode_t qc)
cu_bool_t	cuex_qcset_contains (cuex_qcset_t S, cuex_qcode_t qc)
cuex_qcset_t	cuex_qcset_complement (cuex_qcset_t S)

---

Enumeration Type Documentation

enum cuex_qcode_t

An enumeration of variable quantification.

Enumerator:

cuex_qcode_u	universal quantification
cuex_qcode_e	existential quantification
cuex_qcode_w	weak universal quantification for special use
cuex_qcode_n	unquantified or special use

enum cuex_qcset_t

A set of quantifier codes.

Enumerator:

cuex_qcset_bot	the empty set
cuex_qcset_u	{cuex_qcode_u}
cuex_qcset_e	{cuex_qcode_e}
cuex_qcset_w	{cuex_qcode_w}
cuex_qcset_n	{cuex_qcode_n}
cuex_qcset_ue	{cuex_qcode_u, cuex_qcode_e}
cuex_qcset_uw	{cuex_qcode_u, cuex_qcode_w}
cuex_qcset_un	{cuex_qcode_u, cuex_qcode_n}
cuex_qcset_ew	{cuex_qcode_e, cuex_qcode_w}
cuex_qcset_en	{cuex_qcode_e, cuex_qcode_n}
cuex_qcset_wn	{cuex_qcode_w, cuex_qcode_n}
cuex_qcset_uew	{cuex_qcode_u, cuex_qcode_e, cuex_qcode_w}
cuex_qcset_uen	{cuex_qcode_u, cuex_qcode_e, cuex_qcode_n}
cuex_qcset_uwn	{cuex_qcode_u, cuex_qcode_w, cuex_qcode_n}
cuex_qcset_ewn	{cuex_qcode_e, cuex_qcode_w, cuex_qcode_n}
cuex_qcset_uewn	the universal set
cuex_qcset_top	the universal set

---

Function Documentation

cuex_qcset_t cuex_qcset_complement

(

cuex_qcset_t

S

)

Returns cuex_qcode_top ∖ S.

cu_bool_t cuex_qcset_contains	(	cuex_qcset_t	S,
		cuex_qcode_t	qc
	)

True iff qc ∈ S.

cuex_qcset_t cuex_qcset_isecn	(	cuex_qcset_t	S0,
		cuex_qcset_t	S1
	)

Returns the intersection S0 ∩ S1.

cuex_qcset_t cuex_qcset_singleton

(

cuex_qcode_t

qc

)

Returns the singular set {qc}.

cuex_qcset_t cuex_qcset_union	(	cuex_qcset_t	S0,
		cuex_qcset_t	S1
	)

Returns the union S0 ∪ S1.