parse_initial_configuration

Function parse_initial_configuration 

Source
fn parse_initial_configuration(ta: &mut GeneralThresholdAutomaton)