ltl

package

v0.0.0-...-c695042 Latest Latest Go to latest Published: May 12, 2022 License: GPL-3.0 Imports: 2 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

gitlab.lrde.epita.fr/spot/go2pins

Documentation ¶

Index ¶

func Desugar(formula string, aliases map[string][]string) (string, error)

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func Desugar ¶

func Desugar(formula string, aliases map[string][]string) (string, error)

Desugar an LTL formula by expanding the expression inside "any" or "all" keywords by a combination of expression representing all aliases of the concerned variables.

Types ¶

This section is empty.

Source Files ¶

View all Source files

desugar.go

Directories ¶

Path	Synopsis
desugar

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL