Add to-do note
This commit is contained in:
parent
37f0fff09f
commit
07fc6a7f85
@ -480,6 +480,7 @@ impl Problem
|
|||||||
let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> =
|
let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> =
|
||||||
None;
|
None;
|
||||||
|
|
||||||
|
// TODO: put in axioms section
|
||||||
for (i, symbolic_constant) in symbolic_constants.enumerate()
|
for (i, symbolic_constant) in symbolic_constants.enumerate()
|
||||||
{
|
{
|
||||||
// Order axioms are only necessary with two or more symbolic constants
|
// Order axioms are only necessary with two or more symbolic constants
|
||||||
|
Loading…
Reference in New Issue
Block a user