Index

Act	Language.EFLINT.Spec
actor	Language.EFLINT.Spec
actors	Language.EFLINT.Spec
actor_decl	Language.EFLINT.Spec
actor_ref_address	Language.EFLINT.Spec
ActSpec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
Add	Language.EFLINT.Spec
AddEvent	Language.EFLINT.Spec
aliases	Language.EFLINT.Spec
aliases_union	Language.EFLINT.Spec
And	Language.EFLINT.Spec
AnyInt	Language.EFLINT.Spec
AnyString	Language.EFLINT.Spec
App	Language.EFLINT.Spec
app	Language.EFLINT.Print
application	Language.EFLINT.Parse
apply_type_ext	Language.EFLINT.Spec
app_infix	Language.EFLINT.Print
Arguments	Language.EFLINT.Spec
arguments	Language.EFLINT.Parse
Assignment	Language.EFLINT.State
atom	Language.EFLINT.Parse
basic	Language.EFLINT.Spec
binder	Language.EFLINT.Print
BoolLit	Language.EFLINT.Spec
CAll	Language.EFLINT.Spec
CConditionedByCl	Language.EFLINT.Spec
CCreate	Language.EFLINT.Spec
CCreatedByCl	Language.EFLINT.Spec
CDecl	Language.EFLINT.Spec
CDerivationCl	Language.EFLINT.Spec
CDirective	Language.EFLINT.Spec
CDo	Language.EFLINT.Spec
CEnforcingActsCl	Language.EFLINT.Spec
cfg_spec	Language.EFLINT.Interpreter
cfg_state	Language.EFLINT.Interpreter
chase_alias	Language.EFLINT.Spec
CInstQuery	Language.EFLINT.Spec
closed	Language.EFLINT.Spec
closed_type	Language.EFLINT.Spec
CModClause	Language.EFLINT.Spec
CObfuscate	Language.EFLINT.Spec
collapse_programs	Language.EFLINT.Interpreter
CompilationError	Language.EFLINT.State
ConditionedByCl	Language.EFLINT.Spec
conditions	Language.EFLINT.Spec
Config
1 (Type/Class)	Language.EFLINT.Interpreter
2 (Data Constructor)	Language.EFLINT.Interpreter
config	Language.EFLINT.Explorer
contents	Language.EFLINT.State
Context
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
context2config	Language.EFLINT.Interpreter
convertFromEdges	Language.EFLINT.Explorer
convertFromGraph	Language.EFLINT.Explorer
convertFromN	Language.EFLINT.Explorer
convertFromPO	Language.EFLINT.Explorer
convertToEdges	Language.EFLINT.Explorer
convertToGraph	Language.EFLINT.Explorer
convertToN	Language.EFLINT.Explorer
convert_programs	Language.EFLINT.Interpreter
Count	Language.EFLINT.Spec
count	Language.EFLINT.Print
CPDir	Language.EFLINT.Spec
CPhrase	Language.EFLINT.Spec
CPlaceholderDecl	Language.EFLINT.Spec
CPOnlyDecls	Language.EFLINT.Spec
CPostCondCl	Language.EFLINT.Spec
CPSkip	Language.EFLINT.Spec
CQuery	Language.EFLINT.Spec
Create	Language.EFLINT.Spec
CreatedByCl	Language.EFLINT.Spec
created_by_clauses	Language.EFLINT.Parse
created_by_condition	Language.EFLINT.Spec
CreateExportExploration	Language.EFLINT.Explorer
creating_acts	Language.EFLINT.Spec
creating_post	Language.EFLINT.Parse
creating_post'	Language.EFLINT.Parse
CSeq	Language.EFLINT.Spec
CSyncCl	Language.EFLINT.Spec
CTerminate	Language.EFLINT.Spec
CTerminatedByCl	Language.EFLINT.Spec
CTrigger	Language.EFLINT.Spec
ctx_duties	Language.EFLINT.State
ctx_spec	Language.EFLINT.State
ctx_state	Language.EFLINT.State
ctx_transitions	Language.EFLINT.State
CTypeDecl	Language.EFLINT.Spec
CTypeExt	Language.EFLINT.Spec
current	Language.EFLINT.Explorer
CurrentTime	Language.EFLINT.Spec
CViolationCl	Language.EFLINT.Spec
Decl	Language.EFLINT.Spec
declarations	Language.EFLINT.Parse
decls	Language.EFLINT.Spec
decls_union	Language.EFLINT.Spec
decoration	Language.EFLINT.Parse
defInterpreter	Language.EFLINT.Explorer
Derivation	Language.EFLINT.Spec
derivation	Language.EFLINT.Spec
DerivationCl	Language.EFLINT.Spec
derivation_from	Language.EFLINT.Parse
derive	Language.EFLINT.State
derived	Language.EFLINT.Spec
derive_all	Language.EFLINT.State
Directive	Language.EFLINT.Spec
DirInv	Language.EFLINT.Spec
Display	Language.EFLINT.Explorer
DisplayFull	Language.EFLINT.Explorer
Div	Language.EFLINT.Spec
Domain	Language.EFLINT.Spec
domain	Language.EFLINT.Spec
domain_constraint	Language.EFLINT.Spec
DomId	Language.EFLINT.Spec
Duty	Language.EFLINT.Spec
DutySpec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
DutyViolation	Language.EFLINT.State
duty_decls	Language.EFLINT.Spec
Dv	Language.EFLINT.Spec
Edge
1 (Type/Class)	Language.EFLINT.Explorer
2 (Data Constructor)	Language.EFLINT.Explorer
edges	Language.EFLINT.Explorer
Effect	Language.EFLINT.Spec
effect	Language.EFLINT.Parse
effects	Language.EFLINT.Spec
Elem	Language.EFLINT.Spec
emptyContext	Language.EFLINT.State
emptyInitialiser	Language.EFLINT.Spec
emptyInput	Language.EFLINT.State
emptyRefiner	Language.EFLINT.Spec
emptySpec	Language.EFLINT.Spec
emptyState	Language.EFLINT.State
emptyStore	Language.EFLINT.State
emptySubs	Language.EFLINT.Spec
Enabled	Language.EFLINT.Spec
EnforcingActsCl	Language.EFLINT.Spec
enforcing_acts	Language.EFLINT.Spec
enforcing_acts_clauses	Language.EFLINT.Parse
enforcing_act_condition	Language.EFLINT.Spec
enumerable	Language.EFLINT.Spec
EnumerateInfiniteDomain	Language.EFLINT.State
Eq	Language.EFLINT.Spec
Error	Language.EFLINT.State
errors	Language.EFLINT.Interpreter
ErrorVal	Language.EFLINT.Interpreter
Event	Language.EFLINT.Spec
EventSpec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
event_effects	Language.EFLINT.Spec
event_syncs	Language.EFLINT.Spec
Execute	Language.EFLINT.Explorer
ExecutedTransition	Language.EFLINT.Interpreter
ExecuteOnce	Language.EFLINT.Explorer
ExecutionGraph
1 (Type/Class)	Language.EFLINT.Explorer
2 (Data Constructor)	Language.EFLINT.Explorer
exist	Language.EFLINT.State
Exists	Language.EFLINT.Spec
exists	Language.EFLINT.Print
ExplorationHeads	Language.EFLINT.Explorer
Explorer	Language.EFLINT.Explorer
ExportExploration	Language.EFLINT.Explorer
extend_spec	Language.EFLINT.Spec
ex_triggers	Language.EFLINT.Interpreter
Fact	Language.EFLINT.Spec
FactSpec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
fact_restriction_by_keyword	Language.EFLINT.Parse
find_decl	Language.EFLINT.Spec
find_violation_cond	Language.EFLINT.Spec
flint	Language.EFLINT.Parse
flint_lexer	Language.EFLINT.Parse
Forall	Language.EFLINT.Spec
forall	Language.EFLINT.Print
foreach
1 (Function)	Language.EFLINT.Parse
2 (Function)	Language.EFLINT.Print
frame	Language.EFLINT.Parse
from_sat	Language.EFLINT.State
FunctionRestriction	Language.EFLINT.Spec
Ge	Language.EFLINT.Spec
Geq	Language.EFLINT.Spec
getOutput	Language.EFLINT.Interpreter
get_last_edge	Language.EFLINT.Explorer
get_transition	Language.EFLINT.Interpreter
holds	Language.EFLINT.State
HoldsFalse	Language.EFLINT.State
HoldsTrue	Language.EFLINT.State
HoldsWhen	Language.EFLINT.Spec
Include	Language.EFLINT.Spec
increment_time	Language.EFLINT.State
Info
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
initialConfig	Language.EFLINT.Interpreter
Initialiser	Language.EFLINT.Spec
initialiser	Language.EFLINT.Parse
init_graph_explorer	Language.EFLINT.Explorer
init_tree_explorer	Language.EFLINT.Explorer
InputMap	Language.EFLINT.State
input_holds	Language.EFLINT.State
InstQueryRes	Language.EFLINT.Interpreter
Instruction	Language.EFLINT.Explorer
inst_query_ress	Language.EFLINT.Interpreter
Int	Language.EFLINT.Spec
InternalError
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
interpreter	Language.EFLINT.Interpreter
IntLit	Language.EFLINT.Spec
Ints	Language.EFLINT.Spec
ints_decl	Language.EFLINT.Spec
int_decl	Language.EFLINT.Spec
InvalidRevert	Language.EFLINT.Explorer
invariant	Language.EFLINT.Spec
invariants	Language.EFLINT.Spec
InvariantViolation	Language.EFLINT.State
isInitialTypeDecl	Language.EFLINT.Spec
is_function	Language.EFLINT.Spec
is_var	Language.EFLINT.Spec
keyword_present_when	Language.EFLINT.Parse
keyword_when	Language.EFLINT.Parse
Kind	Language.EFLINT.Spec
kind	Language.EFLINT.Spec
Label	Language.EFLINT.Explorer
label	Language.EFLINT.Explorer
Le	Language.EFLINT.Spec
Leq	Language.EFLINT.Spec
lexer_settings	Language.EFLINT.Parse
LoadExploration	Language.EFLINT.Explorer
LoadExportExploration	Language.EFLINT.Explorer
make_assignments	Language.EFLINT.State
make_initial_state	Language.EFLINT.Interpreter
make_substitutions_of	Language.EFLINT.Spec
Max	Language.EFLINT.Spec
Min	Language.EFLINT.Spec
MissingInput	Language.EFLINT.State
MissingSubstitution	Language.EFLINT.State
missing_inputs	Language.EFLINT.Interpreter
Mod	Language.EFLINT.Spec
ModClause	Language.EFLINT.Spec
Modifier	Language.EFLINT.Spec
modifier	Language.EFLINT.Parse
Mult	Language.EFLINT.Spec
N
1 (Type/Class)	Language.EFLINT.Explorer
2 (Data Constructor)	Language.EFLINT.Explorer
Neq	Language.EFLINT.Spec
Node	Language.EFLINT.Explorer
Nodes	Language.EFLINT.Explorer
nodes	Language.EFLINT.Explorer
Not	Language.EFLINT.Spec
NotTriggerable	Language.EFLINT.State
no_decoration	Language.EFLINT.Spec
OAll	Language.EFLINT.Spec
ObfEvent	Language.EFLINT.Spec
Obfuscate	Language.EFLINT.Spec
obfuscating_post	Language.EFLINT.Parse
obfuscating_post'	Language.EFLINT.Parse
objects	Language.EFLINT.Parse
opt_foreach	Language.EFLINT.Parse
Or	Language.EFLINT.Spec
Output	Language.EFLINT.Interpreter
output	Language.EFLINT.Explorer
OutputWriter	Language.EFLINT.Interpreter
parse_component	Language.EFLINT.Parse
parse_flint	Language.EFLINT.Parse
parse_initialiser	Language.EFLINT.Parse
parse_refiner	Language.EFLINT.Parse
Path
1 (Type/Class)	Language.EFLINT.Explorer
2 (Data Constructor)	Language.EFLINT.Explorer
PDeclBlock	Language.EFLINT.Spec
PDo	Language.EFLINT.Spec
Phrase	Language.EFLINT.Spec
phrase_scenario	Language.EFLINT.Parse
physical	Language.EFLINT.Spec
PInstQuery	Language.EFLINT.Spec
placeholder	Language.EFLINT.Parse
PlaceholderDecl	Language.EFLINT.Spec
PO
1 (Type/Class)	Language.EFLINT.Explorer
2 (Data Constructor)	Language.EFLINT.Explorer
po	Language.EFLINT.Explorer
PostCondCl	Language.EFLINT.Spec
postconditions	Language.EFLINT.Parse
ppAct	Language.EFLINT.Print
ppAct'	Language.EFLINT.Print
ppClause	Language.EFLINT.Print
ppClauses	Language.EFLINT.Print
ppConstraint	Language.EFLINT.Print
ppCPhrase	Language.EFLINT.Print
ppDecl	Language.EFLINT.Print
ppDeclSpec	Language.EFLINT.Print
ppDeriv	Language.EFLINT.Print
ppDerivRules	Language.EFLINT.Print
ppDirective	Language.EFLINT.Print
ppDom	Language.EFLINT.Print
ppDuty	Language.EFLINT.Print
ppDuty'	Language.EFLINT.Print
ppEffect	Language.EFLINT.Print
ppEnforcingActs	Language.EFLINT.Print
ppEvent	Language.EFLINT.Print
ppEvent'	Language.EFLINT.Print
ppFact	Language.EFLINT.Print
ppMod	Language.EFLINT.Print
ppPhrase	Language.EFLINT.Print
ppPlaceholder	Language.EFLINT.Print
ppPostConditions	Language.EFLINT.Print
ppPreConditions	Language.EFLINT.Print
ppProgram	Language.EFLINT.Print
ppTagged	Language.EFLINT.Spec
ppTerm	Language.EFLINT.Print
ppTypeExt	Language.EFLINT.Print
ppVar	Language.EFLINT.Print
ppViolationConds	Language.EFLINT.Print
PQuery	Language.EFLINT.Spec
precondition	Language.EFLINT.Parse
precondition'	Language.EFLINT.Parse
Present	Language.EFLINT.Spec
PrimitiveApplication	Language.EFLINT.State
print_error	Language.EFLINT.State
print_internal_error	Language.EFLINT.State
print_runtime_error	Language.EFLINT.State
process_directives	Language.EFLINT.Spec
Product	Language.EFLINT.Spec
Products	Language.EFLINT.Spec
Program
1 (Type/Class)	Language.EFLINT.Interpreter
2 (Data Constructor)	Language.EFLINT.Interpreter
ProgramSkip	Language.EFLINT.Interpreter
Project	Language.EFLINT.Spec
project	Language.EFLINT.Spec
PSeq	Language.EFLINT.Interpreter
PSkip	Language.EFLINT.Spec
PTrigger	Language.EFLINT.Spec
Query	Language.EFLINT.Spec
QueryFailure	Language.EFLINT.State
QueryRes
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.Interpreter
QuerySuccess	Language.EFLINT.State
query_ress	Language.EFLINT.Interpreter
Ref
1 (Data Constructor)	Language.EFLINT.Spec
2 (Type/Class)	Language.EFLINT.Explorer
ref	Language.EFLINT.Explorer
refine	Language.EFLINT.Parse
Refiner	Language.EFLINT.Spec
refiner	Language.EFLINT.Parse
refine_specification	Language.EFLINT.Spec
RemEvent	Language.EFLINT.Spec
remove_decoration	Language.EFLINT.Spec
Rename	Language.EFLINT.Spec
Require	Language.EFLINT.Spec
ResBool	Language.EFLINT.Spec
ResInt	Language.EFLINT.Spec
Response	Language.EFLINT.Explorer
ResString	Language.EFLINT.Spec
ResTagged	Language.EFLINT.Spec
Restriction	Language.EFLINT.Spec
restriction	Language.EFLINT.Spec
rest_disabled	Language.EFLINT.Interpreter
rest_duties	Language.EFLINT.Interpreter
rest_enabled	Language.EFLINT.Interpreter
rest_transitions	Language.EFLINT.Interpreter
ResultTrans	Language.EFLINT.Explorer
Revert	Language.EFLINT.Explorer
RuntimeError
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
run_	Language.EFLINT.Explorer
Scenario	Language.EFLINT.Spec
scenario	Language.EFLINT.Parse
seq	Language.EFLINT.Print
showTree	Language.EFLINT.Explorer
showTriggerTree	Language.EFLINT.Explorer
show_arguments	Language.EFLINT.Spec
show_component	Language.EFLINT.Spec
show_modifiers	Language.EFLINT.Spec
show_projections	Language.EFLINT.Spec
show_stmt	Language.EFLINT.Spec
source	Language.EFLINT.Explorer
Spec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
spec_union	Language.EFLINT.Spec
State
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
Statement	Language.EFLINT.Spec
statement	Language.EFLINT.Parse
state_holds	Language.EFLINT.State
state_input_holds	Language.EFLINT.State
state_not_holds	Language.EFLINT.State
Store	Language.EFLINT.State
store_union	Language.EFLINT.State
store_unions	Language.EFLINT.State
String	Language.EFLINT.Spec
StringLit	Language.EFLINT.Spec
Strings	Language.EFLINT.Spec
strings_decl	Language.EFLINT.Spec
string_decl	Language.EFLINT.Spec
Sub	Language.EFLINT.Spec
Subs	Language.EFLINT.Spec
substitutions_of	Language.EFLINT.Spec
subsUnion	Language.EFLINT.Spec
subsUnions	Language.EFLINT.Spec
Sum	Language.EFLINT.Spec
Sync
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
SyncCl	Language.EFLINT.Spec
synchronisations	Language.EFLINT.Parse
syncs	Language.EFLINT.Spec
syn_actor_decl	Language.EFLINT.Parse
syn_act_decl	Language.EFLINT.Parse
syn_act_ext	Language.EFLINT.Parse
syn_bool_fact_decl	Language.EFLINT.Parse
syn_directive	Language.EFLINT.Parse
syn_directives_phrases	Language.EFLINT.Parse
syn_domain_constraint	Language.EFLINT.Parse
syn_duty_clauses	Language.EFLINT.Parse
syn_duty_decl	Language.EFLINT.Parse
syn_duty_ext	Language.EFLINT.Parse
syn_event_clauses	Language.EFLINT.Parse
syn_event_decl	Language.EFLINT.Parse
syn_event_ext	Language.EFLINT.Parse
syn_ext	Language.EFLINT.Parse
syn_fact_clauses	Language.EFLINT.Parse
syn_fact_decl	Language.EFLINT.Parse
syn_fact_ext	Language.EFLINT.Parse
syn_inv_decl	Language.EFLINT.Parse
syn_is_closed	Language.EFLINT.Parse
syn_phrase	Language.EFLINT.Parse
syn_phrases	Language.EFLINT.Parse
syn_physical_clauses	Language.EFLINT.Parse
syn_physical_decl	Language.EFLINT.Parse
syn_physical_ext	Language.EFLINT.Parse
syn_pred_decl	Language.EFLINT.Parse
Tag	Language.EFLINT.Spec
Tagged	Language.EFLINT.Spec
tagged	Language.EFLINT.State
TaggedJSON
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
tagOf	Language.EFLINT.Spec
TAll	Language.EFLINT.Spec
target	Language.EFLINT.Explorer
Term	Language.EFLINT.Spec
Terminate	Language.EFLINT.Spec
TerminatedByCl	Language.EFLINT.Spec
terminated_by_clauses	Language.EFLINT.Parse
terminated_by_condition	Language.EFLINT.Spec
terminated_by_precondition	Language.EFLINT.Spec
terminating_acts	Language.EFLINT.Spec
terminating_post	Language.EFLINT.Parse
terminating_post'	Language.EFLINT.Parse
Time	Language.EFLINT.Spec
time	Language.EFLINT.State
Trans	Language.EFLINT.Spec
TransInfo
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
Transition
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.State
TransType	Language.EFLINT.Spec
trans_actor	Language.EFLINT.State
trans_all_infos	Language.EFLINT.State
trans_assignments	Language.EFLINT.State
trans_forced	Language.EFLINT.State
trans_is_action	Language.EFLINT.State
trans_syncs	Language.EFLINT.State
trans_tagged	Language.EFLINT.State
Trigger	Language.EFLINT.Spec
triggerable	Language.EFLINT.Spec
triggerTree	Language.EFLINT.Explorer
TriggerViolation	Language.EFLINT.State
trigger_decls	Language.EFLINT.Spec
TyBool	Language.EFLINT.Spec
TyInts	Language.EFLINT.Spec
Type	Language.EFLINT.Spec
TypeDecl	Language.EFLINT.Spec
TypeExt	Language.EFLINT.Spec
TypeSpec
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
type_expr	Language.EFLINT.Parse
TyStrings	Language.EFLINT.Spec
TyTagged	Language.EFLINT.Spec
UndeclaredType	Language.EFLINT.State
Unknown	Language.EFLINT.State
Untag	Language.EFLINT.Spec
valOf	Language.EFLINT.Spec
Value	Language.EFLINT.Spec
value	Language.EFLINT.State
value_expr	Language.EFLINT.Parse
Var
1 (Type/Class)	Language.EFLINT.Spec
2 (Data Constructor)	Language.EFLINT.Spec
var	Language.EFLINT.Parse
VarRestriction	Language.EFLINT.Spec
Violated	Language.EFLINT.Spec
violated_when	Language.EFLINT.Spec
Violation
1 (Type/Class)	Language.EFLINT.State
2 (Data Constructor)	Language.EFLINT.Interpreter
ViolationCl	Language.EFLINT.Spec
violations	Language.EFLINT.Interpreter
violation_condition	Language.EFLINT.Parse
When	Language.EFLINT.Spec