patrick/foliage-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Rename ClosedFormula to OpenFormula

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-11 03:52:36 +02:00
parent 75e97a5c07
commit ae46634d67
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ast.rs
View File

@ -556,7 +556,7 @@ impl Formula
} }
} }
pub struct ClosedFormula pub struct OpenFormula
{ {
pub free_variable_declarations: std::rc::Rc<VariableDeclarations>, pub free_variable_declarations: std::rc::Rc<VariableDeclarations>,
pub formula: Formula, pub formula: Formula,

5
src/parse/formulas.rs
View File

@ -1,8 +1,7 @@
use super::terms::*; use super::terms::*;
use super::tokens::*; use super::tokens::*;
pub fn formula<D>(input: &str, declarations: &D) pub fn formula<D>(input: &str, declarations: &D) -> Result<crate::OpenFormula, crate::parse::Error>
-> Result<crate::ClosedFormula, crate::parse::Error>
where where
D: crate::FindOrCreateFunctionDeclaration + crate::FindOrCreatePredicateDeclaration, D: crate::FindOrCreateFunctionDeclaration + crate::FindOrCreatePredicateDeclaration,
{ {
@ -18,7 +17,7 @@ where
_ => unreachable!(), _ => unreachable!(),
}; };
Ok(crate::ClosedFormula Ok(crate::OpenFormula
{ {
formula, formula,
free_variable_declarations, free_variable_declarations,