protected static XMLDocument getSatisfyingMessage(GeneratorNode gn)
{
XMLDocument xd = new XMLDocument();
if (gn == null)
{
return xd;
}
HashSet<OPlus> opluses = gn.getOPluses();
foreach (OPlus op in opluses)
{
if (op.getOperand().Equals(Operator.m_trueAtom) ||
op.getOperand().Equals(Operator.m_falseAtom))
{
// This only asserts that the path should exist
continue;
}
xd.createPath(op.getQualifier(), op.getOperand().ToString());
}
return xd;
}