C# (CSharp) UndevelopedFormulas Examples

Example #1

File: Branch.cs Project: Sykorajakku/TS-web-app

        private (Formula, TruthLabel) GetFormulaToDevelop()
        {
            if (UndevelopedFormulas.Count != 0)
            {
                return(UndevelopedFormulas.Dequeue().GetValueTuple());
            }
            if (UnusedAxioms.Count != 0)
            {
                return(UnusedAxioms.Dequeue().GetValueTuple());
            }

            return(null, TruthLabel.False);
        }

Example #2

File: Branch.cs Project: Sykorajakku/TS-web-app

 internal void AddNewFormula(BranchItem newBranchItem)
 {
     UndevelopedFormulas.Enqueue(newBranchItem);
 }