Skip to content

Variables change

Viktor Kuncak requested to merge github/fork/SimonGuilloud/variables-change into main

Created by: SimonGuilloud

Merge the concept of Variables and Schematic (term) symbols, effectively by replacing 0-ary schemas by variables. Also introduce formula variables in place of 0-ary schematic predicates.

Any work on top of current LISA release should be easily adaptable by:

  • Changing all instances of Arity 0 SchematicFunctionLabel by VariableLabel
  • Changing all instances of Arity 0 SchematicPredicateLabel by VariableFormulaLabel
  • Changing all matching on SchematicFunctionLabel by either VariableLabel, SchematicFunctionLabel or SchematicTermLabel, according to whether the arity should be =0, >0 or >=0.
  • Changing all instances of multiary SchematicPredicateLabel by SchematicNPredicateLabel
  • Removing the empty parenthesis () that where used to transform an Arity 0 label to a term or formula. Variables have the implicit conversion without the call.

Merge request reports