void Unmark(int rule, int match, SequenceSomeFromSet seq)
{
if(seq.NonRandomAll(rule))
{
MarkMatches(seq.Matches[rule], null, null);
AnnotateMatches(seq.Matches[rule], false);
}
else
{
MarkMatch(seq.Matches[rule].GetMatch(match), null, null);
AnnotateMatch(seq.Matches[rule].GetMatch(match), false);
}
}
void Mark(int rule, int match, SequenceSomeFromSet seq)
{
if(seq.NonRandomAll(rule))
{
MarkMatches(seq.Matches[rule], realizers.MatchedNodeRealizer, realizers.MatchedEdgeRealizer);
AnnotateMatches(seq.Matches[rule], true);
}
else
{
MarkMatch(seq.Matches[rule].GetMatch(match), realizers.MatchedNodeRealizer, realizers.MatchedEdgeRealizer);
AnnotateMatch(seq.Matches[rule].GetMatch(match), true);
}
}