// -- private member functions
/** Check that symbol label is stutter insensitive,
* using nba and complement_nba */
public bool is_stutter_insensitive(NBA nba, NBA nba_complement, APElement label)
{
NBA stutter_closed_nba = NBAStutterClosure.stutter_closure(nba, label);
NBA product = NBA.product_automaton(stutter_closed_nba, nba_complement);
NBAAnalysis analysis_product = new NBAAnalysis(product);
bool empty = analysis_product.emptinessCheck();
// std::cerr << "NBA is " << (empty ? "empty" : "not empty") << std::endl;
return(empty);
}
