Esempio n. 1
0
 internal void AddAxiom(BranchItem newBranchItem)
 {
     UnusedAxioms.Enqueue(newBranchItem);
 }
Esempio n. 2
0
 internal void AddNewFormula(BranchItem newBranchItem)
 {
     UndevelopedFormulas.Enqueue(newBranchItem);
 }