2020-03-13 22:58:53 +01:00
|
|
|
mod formulas;
|
2020-02-26 12:42:02 +01:00
|
|
|
mod helpers;
|
2020-03-27 03:00:09 +01:00
|
|
|
mod literals;
|
2020-02-25 17:58:45 +01:00
|
|
|
mod names;
|
2020-02-25 19:34:59 +01:00
|
|
|
mod terms;
|
2020-02-25 17:58:45 +01:00
|
|
|
|
2020-02-26 12:42:02 +01:00
|
|
|
pub(crate) use helpers::word_boundary;
|
2020-03-27 03:13:55 +01:00
|
|
|
pub(crate) use literals::{boolean, integer, special_integer, string};
|
2020-03-27 03:18:31 +01:00
|
|
|
pub(crate) use names::{function_or_predicate_name, variable_name};
|
2020-03-13 22:58:53 +01:00
|
|
|
pub use terms::term;
|
2020-03-27 02:46:33 +01:00
|
|
|
pub use formulas::formula;
|
2020-02-28 15:35:47 +01:00
|
|
|
|
|
|
|
pub struct Declarations
|
|
|
|
{
|
|
|
|
function_declarations: std::cell::RefCell<crate::FunctionDeclarations>,
|
|
|
|
predicate_declarations: std::cell::RefCell<crate::PredicateDeclarations>,
|
|
|
|
variable_declaration_stack: std::cell::RefCell<crate::VariableDeclarationStack>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Declarations
|
|
|
|
{
|
|
|
|
pub fn new() -> Self
|
|
|
|
{
|
|
|
|
Self
|
|
|
|
{
|
|
|
|
function_declarations: std::cell::RefCell::new(crate::FunctionDeclarations::new()),
|
|
|
|
predicate_declarations: std::cell::RefCell::new(crate::PredicateDeclarations::new()),
|
|
|
|
variable_declaration_stack:
|
|
|
|
std::cell::RefCell::new(crate::VariableDeclarationStack::new()),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|