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); } }