Example #1
0
 private void Add(LogicalTerm term)
 {
     if (term is AndTerm)
         foreach (LogicalTerm t in (term as AndTerm).terms)
             Add (t);
     else
         terms.Add (term);
 }
Example #2
0
 void Add(LogicalTerm term)
 {
     var orTerm = term as OrTerm;
     if (orTerm != null) {
         foreach (LogicalTerm t in orTerm.terms)
             Add (t);
     }
     else
         terms.Add (term);
 }
Example #3
0
 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);
     }
 }
Example #5
0
 void Add(LogicalTerm term)
 {
     if (term is AndOperator andTerm)
     {
         foreach (var t in andTerm.Terms)
         {
             Add(t);
         }
     }
     else
     {
         terms.Add(term);
     }
 }
Example #6
0
 void Add(LogicalTerm term)
 {
     if (term is OrOperator orTerm)
     {
         foreach (var t in orTerm.terms)
         {
             Add(t);
         }
     }
     else
     {
         terms.Add(term);
     }
 }
Example #7
0
        void Add(LogicalTerm term)
        {
            var orTerm = term as OrOperator;

            if (orTerm != null)
            {
                foreach (LogicalTerm t in orTerm.terms)
                {
                    Add(t);
                }
            }
            else
            {
                terms.Add(term);
            }
        }
Example #8
0
        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;
 }
Example #10
0
 public NotTerm(LogicalTerm term)
 {
     Term = term;
 }
		public NotTerm (LogicalTerm term)
		{
			this.term = term;
		}
Example #12
0
 public NotTerm(LogicalTerm term)
 {
     Term = term;
 }