public string toString(APSet ap_set, bool spaces)
{
if (ap_set.size() == 0)
{
return("\u03A3");
}
StringBuilder r = new StringBuilder();
for (int i = 0; i < ap_set.size(); i++)
{
if (i >= 1)
{
r.Append("&");
}
if (!this.get(i))
{
r.Append("!");
}
else
{
if (spaces)
{
r.Append(" ");
}
}
r.Append(ap_set.getAP(i));
}
return(r.ToString());
}
/** Switch the APSet to another with the same number of APs. */
public void switchAPSet(APSet new_apset)
{
if (new_apset.size() != _apset.size())
{
throw new IllegalArgumentException("New APSet has to have the same size as the old APSet!"); //IllegalArgument
}
_apset = new_apset;
}
public EdgeContainerExplicit_APElement <BitSet> _container; //<BitSet>
/**
* Constructor.
* @param state the NBA_State owning this EdgeManager
* @param apset the underlying APSet
*/
public NBA_State_EdgeManager(NBA_State state, APSet apset)
{
_state = state;
_container = new EdgeContainerExplicit_APElement <BitSet>(apset.size());
//for (APSet::element_iterator eit=apset.all_elements_begin(); eit!=apset.all_elements_end(); ++eit) {
for (int i = apset.all_elements_begin(); i != apset.all_elements_end(); i++)
{
_container.addEdge(new APElement(i), new BitSet());
}
}
/**
* Increment the iterator (used by the boost iterator base class).
*/
public void increment()
{
//BitSet set_mask = new BitSet(_m.getSetBits());
BitSet set_mask = _m.getSetBits().getBitSetObject();
int i = set_mask.nextClearBit(0);
while (i < _ap_set.size())
{
if (_cur_e.get(i) == false)
{
_cur_e.set(i, true);
return;
}
else
{
_cur_e.set(i, false);
i = set_mask.nextClearBit(i + 1);
}
}
// overflow -> end
_end_marker = true;
}
public string toString(APSet ap_set, bool spaces)
{
if (ap_set.size() == 0)
{
return "\u03A3";
}
StringBuilder r = new StringBuilder();
for (int i = 0; i < ap_set.size(); i++)
{
if (i >= 1)
{
r.Append("&");
}
if (!this.get(i))
{
r.Append("!");
}
else
{
if (spaces)
{
r.Append(" ");
}
}
r.Append(ap_set.getAP(i));
}
return r.ToString();
}
public EdgeContainerExplicit_APElement<BitSet> _container; //<BitSet>
/**
* Constructor.
* @param state the NBA_State owning this EdgeManager
* @param apset the underlying APSet
*/
public NBA_State_EdgeManager(NBA_State state, APSet apset)
{
_state = state;
_container = new EdgeContainerExplicit_APElement<BitSet>(apset.size());
//for (APSet::element_iterator eit=apset.all_elements_begin(); eit!=apset.all_elements_end(); ++eit) {
for (int i = apset.all_elements_begin(); i != apset.all_elements_end(); i++)
{
_container.addEdge(new APElement(i), new BitSet());
}
}
/**
* Switch the APSet to another with the same number of APs.
*/
public void switchAPSet(APSet new_apset)
{
if (new_apset.size() != _apset.size())
{
throw new IllegalArgumentException("New APSet has to have the same size as the old APSet!");
}
_apset = new_apset;
}
/**
* Get the size of the underlying APSet.
*/
public int getAPSize()
{
return(_ap_set.size());
}