void updateParams(SynthesizeParameters parms)
{
// TODO: check parameters compatibility
if (m_Params.getFlags() != parms.getFlags())
{
throw new Exception("SynthesisQuery::update - new parameters are not compatible with previous!");
}
m_Params = parms;
}
public bool equalTo(SynthesizeParameters parms)
{
bool same = true;
same &= getConstraintThreshold() == parms.getConstraintThreshold();
same &= getCoherenceThreshold() == parms.getCoherenceThreshold();
same &= getCutAvoidance() == parms.getCutAvoidance();
same &= getFlags() == parms.getFlags();
return(same);
}