Commit 0e3c1881 authored by Sylvain Soliman's avatar Sylvain Soliman
Browse files

handling parameters in FOLTL formulae

parent 6beb8b4d
......@@ -524,6 +524,9 @@ expand_expression(Expression, ExpandedExpression) :-
!,
expand_expression(NewBody, ExpandedExpression).
expand_expression(Parameter, Value) :-
parameter_value(Parameter, Value),
!.
expand_expression(Expression, ExpandedExpression) :-
grammar_map(
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment