internal bool AddConstraint(AtlasConstraintValidationQueue queue)
        {
            AtlasConstraint newConstraint = new AtlasConstraint();

            try
            {
                ConstraintValidationStateOne(queue, newConstraint);
                constraints.Add(newConstraint);
                return(true);
            }
            catch (ArgumentException)
            {
                return(false);
            }
        }
 internal void ConstraintValidationStateSix(AtlasConstraintValidationQueue queue, AtlasConstraint constraint)
 {
     if (queue.Peek() != null && queue.Peek().Equals("("))
     {
         queue.Pop();
         constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.LeftBracket));
         ConstraintValidationStateOne(queue, constraint);
         if (queue.Pop().Equals(")"))
         {
             constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.RightBracket));
         }
         else
         {
             throw new ArgumentException("Brackets were not properly closed");
         }
     }
     else
     {
         constraint.Constraints.Add(GetFeature(queue.Pop()));
     }
 }
 internal void ConstraintValidationStateFive(AtlasConstraintValidationQueue queue, AtlasConstraint constraint)
 {
     if (queue.Peek() != null && queue.Peek().Equals("¬"))
     {
         queue.Pop();
         constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.Not));
     }
     ConstraintValidationStateSix(queue, constraint);
 }
 internal void ConstraintValidationStateFour(AtlasConstraintValidationQueue queue, AtlasConstraint constraint)
 {
     ConstraintValidationStateFive(queue, constraint);
     if (queue.Peek() != null && queue.Peek().Equals("∧"))
     {
         queue.Pop();
         constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.And));
         ConstraintValidationStateFour(queue, constraint);
     }
 }
 internal void ConstraintValidationStateTwo(AtlasConstraintValidationQueue queue, AtlasConstraint constraint)
 {
     ConstraintValidationStateThree(queue, constraint);
     if (queue.Peek() != null && queue.Peek().Equals("⇒"))
     {
         queue.Pop();
         constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.Implies));
         ConstraintValidationStateTwo(queue, constraint);
     }
 }
 internal void ConstraintValidationStateOne(AtlasConstraintValidationQueue queue, AtlasConstraint constraint)
 {
     ConstraintValidationStateTwo(queue, constraint);
     if (queue.Peek() != null && queue.Peek().Equals("<=>"))     //TODO Placeholder
     {
         queue.Pop();
         constraint.Constraints.Add(new AtlasConstraintOperator(AtlasLogicalOperator.Iff));
         ConstraintValidationStateOne(queue, constraint);
     }
 }