presburger-0.4: Cooper's decision procedure for Presburger arithmetic. (Index - F)

presburger-0.4: Cooper's decision procedure for Presburger arithmetic.

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
V
Z
:
$
&
.
/
<
=
>
|
All

Index - F

FALSE
1 (Data Constructor)	Data.Integer.OldPresburger
2 (Data Constructor)	Data.Integer.Presburger.HOAS, Data.Integer.Presburger
fcat	Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form
FF	Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form
float	Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form
Forall
1 (Data Constructor)	Data.Integer.OldPresburger
2 (Data Constructor)	Data.Integer.Presburger.HOAS, Data.Integer.Presburger
forall
1 (Function)	Data.Integer.Presburger.Notation
2 (Function)	Data.Integer.Presburger.HOAS, Data.Integer.Presburger
Form	Data.Integer.Presburger.Form
Formula
1 (Type/Class)	Data.Integer.Presburger.Notation
2 (Type/Class)	Data.Integer.OldPresburger
3 (Type/Class)	Data.Integer.Presburger.HOAS, Data.Integer.Presburger
form_bound	Data.Integer.Presburger.Form
form_lcm	Data.Integer.Presburger.Form
form_neg_inf	Data.Integer.Presburger.Form
form_no_inf	Data.Integer.Presburger.Form
form_pos_inf	Data.Integer.Presburger.Form
form_scale	Data.Integer.Presburger.Form
fsep	Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form
fullRender	Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form