private void Add(LogicalTerm term) { if (term is AndTerm) foreach (LogicalTerm t in (term as AndTerm).terms) Add (t); else terms.Add (term); }
void Add(LogicalTerm term) { var orTerm = term as OrTerm; if (orTerm != null) { foreach (LogicalTerm t in orTerm.terms) Add (t); } else terms.Add (term); }
void Add(LogicalTerm term) { var andTerm = term as AndTerm; if (andTerm != null) { foreach (LogicalTerm t in andTerm.Terms) Add (t); } else terms.Add (term); }
private void Add(LogicalTerm term) { if (term is AndTerm) { foreach (LogicalTerm t in (term as AndTerm).terms) { Add(t); } } else { terms.Add(term); } }
void Add(LogicalTerm term) { if (term is AndOperator andTerm) { foreach (var t in andTerm.Terms) { Add(t); } } else { terms.Add(term); } }
void Add(LogicalTerm term) { if (term is OrOperator orTerm) { foreach (var t in orTerm.terms) { Add(t); } } else { terms.Add(term); } }
void Add(LogicalTerm term) { var orTerm = term as OrOperator; if (orTerm != null) { foreach (LogicalTerm t in orTerm.terms) { Add(t); } } else { terms.Add(term); } }
void Add(LogicalTerm term) { var andTerm = term as AndOperator; if (andTerm != null) { foreach (LogicalTerm t in andTerm.Terms) { Add(t); } } else { terms.Add(term); } }
public NotTerm(LogicalTerm term) { this.term = term; }
public NotTerm(LogicalTerm term) { Term = term; }
public NotTerm (LogicalTerm term) { this.term = term; }