Module: Falluto

Defined in:

lib/falluto/version.rb,
lib/falluto/nusmv/fault.rb,
lib/falluto/nusmv/module.rb,
lib/falluto/nusmv/codegen.rb,
lib/falluto/nusmv/variable.rb,
lib/falluto/grammar/nodes.rb

Defined Under Namespace

Modules: NuSMV, Version Classes: AssignmentNode, CaseElementNode, CaseNode, FaultAssignmentNode, FaultDeclarationNode, LtlSpecNode, ModuleDeclarationNode, VarDeclNode

Constant Summary

NAME =

"Falluto"