Index - C
callGate | LIO.Delegate, LIO |
canFlowTo | LIO.Label, LIO |
canFlowToP | LIO.Label, LIO |
catch | LIO.Exception, LIO |
cFalse | LIO.DCLabel |
cFromList | LIO.DCLabel |
CNF | LIO.DCLabel |
cToSet | LIO.DCLabel |
cTrue | LIO.DCLabel |
lio-0.11.6.0: Labeled IO Information Flow Control Library
Index - C
callGate | LIO.Delegate, LIO |
canFlowTo | LIO.Label, LIO |
canFlowToP | LIO.Label, LIO |
catch | LIO.Exception, LIO |
cFalse | LIO.DCLabel |
cFromList | LIO.DCLabel |
CNF | LIO.DCLabel |
cToSet | LIO.DCLabel |
cTrue | LIO.DCLabel |