/**
* Constructor that generates an iterator pointing
* to a specific APElement.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
* @param cur_e the current APElement
*/
public APMonom2APElements(APSet ap_set, APMonom m, APElement cur_e)
{
_ap_set = ap_set;
_m = m;
_cur_e = cur_e;
_end_marker = false;
if (m.isFalse())
{
_end_marker = true;
}
}
/**
* Constructor that generates an iterator pointing
* to a specific APElement.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
* @param cur_e the current APElement
*/
public APMonom2APElements(APSet ap_set, APMonom m, APElement cur_e)
{
_ap_set = ap_set;
_m = m;
_cur_e = cur_e;
_end_marker = false;
if (m.isFalse())
{
_end_marker = true;
}
}
/**
* Constructor that generates an iterator pointing to the first
* APElement.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
*/
public APMonom2APElements(APSet ap_set, APMonom m)
{
_ap_set = ap_set;
_m = m;
_cur_e = new APElement(m.getValueBits());
_end_marker = false;
if (m.isFalse())
{
_end_marker = true;
}
}
/**
* Constructor that generates an iterator pointing to the first
* APElement.
* @param ap_set the underlying APSet
* @param m the APMonom over which we iterate
*/
public APMonom2APElements(APSet ap_set, APMonom m)
{
_ap_set = ap_set;
_m = m;
_cur_e = new APElement(m.getValueBits());
_end_marker = false;
if (m.isFalse())
{
_end_marker = true;
}
}