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;
}
public NotTerm(LogicalTerm term)
{
Term = term;
}