Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • Spot Spot
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 132
    • Issues 132
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • SpotSpot
  • SpotSpot
  • Issues
  • #61
Closed
Open
Issue created Mar 11, 2015 by Alexandre Duret-Lutz@adlOwner

python: relabel() and relabel_bse() should return the relabeling maps

One reason for relabeling a formula is if it must be passed to some tool that has a stricter syntax for atomic propositions. In that case we relabel all atomic proposition, call the tool, and do the reverse relabeling on the result.

Currently the python interface to relabel() and relabel_bse() returns a relabeled formula, but lose the information about what was renamed to what. We should definitely return this information, either as a Python dict, or as a black-box object that can be passed to another function to relabel in the oposite direction.

Assignee
Assign to
Time tracking