// ---
bool QGAMES::BoardElement::matchProperties (const QGAMES::BoardElementProperties& pts) const
{
bool result = true;
for (QGAMES::BoardElementProperties::const_iterator i = pts.begin ();
i != pts.end () && result; i++)
result &= (existProperty ((*i).first) && (*i).second == property ((*i).first));
return (result);
}
const string
V3NtkHandler::getAuxPropertyName() const {
const string pNamePrefix = "p";
string pName = ""; uint32_t i = 0;
while (true) {
pName = pNamePrefix + v3Int2Str(++i);
if (!existProperty(pName)) break;
}
return pName;
}
vector<string> ParallelCoordinatesGraphProxy::getSelectedProperties() {
vector<string> selectedPropertiesTmp;
vector<string>::iterator it;
// check if one of the selected properties has not been deleted by an undo operation
for (it = selectedProperties.begin(); it != selectedProperties.end(); ++it) {
if (existProperty(*it)) {
selectedPropertiesTmp.push_back(*it);
}
}
selectedProperties = selectedPropertiesTmp;
return selectedProperties;
}
// Property Maintanence Functions
void
V3NtkHandler::setProperty(V3Property* const p) {
assert (p); assert (p->getLTLFormula()->getName().size());
assert (!existProperty(p->getLTLFormula()->getName()));
_property.insert(make_pair(p->getLTLFormula()->getName(), p));
}
