eflint-3.1.0.1: Simulation interpreter for FLINT policy descriptions (Index - C)

eflint-3.1.0.1: Simulation interpreter for FLINT policy descriptions

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
All

Index - C

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