Пример #1
0
 internal void AddAxiom(BranchItem newBranchItem)
 {
     UnusedAxioms.Enqueue(newBranchItem);
 }
Пример #2
0
 internal void AddNewFormula(BranchItem newBranchItem)
 {
     UndevelopedFormulas.Enqueue(newBranchItem);
 }