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