INITIAL_LOC_OPTIONS

taco_threshold_automaton::dot

Constant INITIAL_LOC_OPTIONS 

Source 
const INITIAL_LOC_OPTIONS: &str = "shape = circle";
Expand description

Options to mark initial locations