Class type CHLanguage.cfg_int

method getId : int
method addEdge : symbol_t -> symbol_t -> unit
method addState : state_int -> unit
method addStates : state_int list -> unit
method clone : ?context:symbol_t list -> ?renaming:(variable_t -> variable_t) -> ?op_proc:op_processor_t -> unit -> 'a
method getEntry : state_int
method getExit : state_int
method getState : symbol_t -> state_int
method getStates : symbol_t list
method getStatesFrom : symbol_t -> symbol_t list
method toPretty : CHPretty.pretty_t