public void setStutterInformation(StutterSensitivenessInformation stutter_information)
{
_stutter_information = stutter_information;
//new StutterSensitivenessInformation(
//new StutterSensitivenessInformation(
StutterSensitivenessInformation left_stutter_info = stutter_information;
StutterSensitivenessInformation right_stutter_info = stutter_information;
if (!stutter_information.isCompletelyInsensitive())
{
left_stutter_info.checkLTL(_left);
right_stutter_info.checkLTL(_right);
}
if (!left_stutter_info.isCompletelyInsensitive())
{
left_stutter_info.checkPartial(_left_tree.getNBA(), buchiAutomata, _left.negate().toPNF(), _sched.getLTL2DRA());/////////////add buchiautomata
}
if (!right_stutter_info.isCompletelyInsensitive())
{
right_stutter_info.checkPartial(_right_tree.getNBA(), buchiAutomata, _right.negate().toPNF(), _sched.getLTL2DRA());///////add buchiautomata
}
_left_tree.setStutterInformation(left_stutter_info);
_right_tree.setStutterInformation(right_stutter_info);
}
