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

Minor refactoring

Browse Source
This commit is contained in:
Patrick Lühne 2020-04-28 02:39:58 +02:00
parent 80aafb2359
commit 0fb2be4897
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/parse/formulas.rs
View File

@ -137,10 +137,13 @@ impl<'i> FormulaStr<'i>
None => Some(logical_connective), None => Some(logical_connective),
Some(top_level_logical_connective) => Some(top_level_logical_connective) =>
{ {
if (logical_connective == LogicalConnective::ImpliesLeftToRight let implication_directions_are_mixed =
&& top_level_logical_connective == LogicalConnective::ImpliesRightToLeft) logical_connective == LogicalConnective::ImpliesLeftToRight
|| (logical_connective == LogicalConnective::ImpliesRightToLeft && top_level_logical_connective == LogicalConnective::ImpliesRightToLeft
&& top_level_logical_connective == LogicalConnective::ImpliesLeftToRight) || logical_connective == LogicalConnective::ImpliesRightToLeft
&& top_level_logical_connective == LogicalConnective::ImpliesLeftToRight;
if implication_directions_are_mixed
{ {
return Err(crate::parse::Error::new_mixed_implication_directions( return Err(crate::parse::Error::new_mixed_implication_directions(
crate::parse::error::Location::new(0, Some(0)), crate::parse::error::Location::new(0, Some(0)),