Index

Symbols

--cache command line option, [1] --dataset command line option --modulePrefix command line option --network command line option --no-sat-print command line option, [1] --output command line option, [1] --parameter command line option --property command line option --specification command line option, [1], [2] --target command line option, [1] --typeSystem command line option --verifier command line option, [1] --verifier-args command line option

--verifier-location command line option, [1] -c command line option, [1] -d command line option -l command line option, [1], [2] -m command line option -n command line option -o command line option, [1] -p command line option, [1] -s command line option, [1] -t command line option, [1], [2] -v command line option, [1] -y command line option

A

aliases (vehicle_lang.pygments.VehicleLexer attribute) AnyOptimiser (in module vehicle_lang.typing)

AnyOptimisers (in module vehicle_lang.typing) App (class in vehicle_lang.ast) AST (class in vehicle_lang.ast)

B

Binder (class in vehicle_lang.ast) Builtin (class in vehicle_lang.ast)

BuiltinFunction (class in vehicle_lang.ast) builtins (vehicle_lang.compile.python.PythonTranslation attribute)

C

col_offset (vehicle_lang.ast.Provenance attribute) command line option --cache, [1] --dataset --modulePrefix --network --no-sat-print, [1] --output, [1] --parameter --property --specification, [1], [2] --target, [1] --typeSystem --verifier, [1] --verifier-args --verifier-location, [1] -c, [1] -d -l, [1], [2] -m -n -o, [1] -p, [1] -s, [1] -t, [1], [2] -v, [1] -y

compile() (vehicle_lang.compile.python.PythonTranslation method) ConsList (class in vehicle_lang.ast)

D

Declaration (class in vehicle_lang.ast) DeclarationName (in module vehicle_lang.typing) DefFunction (class in vehicle_lang.ast)

DefPostulate (class in vehicle_lang.ast) DifferentiableLogic (class in vehicle_lang) (class in vehicle_lang.typing) DL2 (vehicle_lang.typing.DifferentiableLogic attribute)

E

end_col_offset (vehicle_lang.ast.Provenance attribute) end_lineno (vehicle_lang.ast.Provenance attribute) EqIndex (class in vehicle_lang.ast)

EraseType Explicit (class in vehicle_lang.typing) (vehicle_lang.typing.Explicit attribute) Expression (class in vehicle_lang.ast)

F

filenames (vehicle_lang.pygments.VehicleLexer attribute)

FoldList (class in vehicle_lang.ast)

G

GeIndex (class in vehicle_lang.ast)

Godel (vehicle_lang.typing.DifferentiableLogic attribute) GtIndex (class in vehicle_lang.ast)

I

If (class in vehicle_lang.ast) ignored_types (vehicle_lang.compile.python.PythonTranslation attribute)

Index (class in vehicle_lang.ast) IndexType (class in vehicle_lang.ast)

L

Lam (class in vehicle_lang.ast) LeIndex (class in vehicle_lang.ast) lineno (vehicle_lang.ast.Provenance attribute)

ListType (class in vehicle_lang.ast) load() (in module vehicle_lang.ast) LtIndex (class in vehicle_lang.ast) Lukasiewicz (vehicle_lang.typing.DifferentiableLogic attribute)

M

Main (class in vehicle_lang.ast) MapList (class in vehicle_lang.ast) Marabou (vehicle_lang.typing.Verifier attribute) (vehicle_lang.Verifier attribute) MISSING (in module vehicle_lang.ast) module vehicle_lang.ast vehicle_lang.compile vehicle_lang.compile.abc vehicle_lang.compile.python vehicle_lang.error vehicle_lang.pygments vehicle_lang.typing

module_footer (vehicle_lang.compile.python.PythonTranslation attribute) module_header (vehicle_lang.compile.python.PythonTranslation attribute)

N

name (vehicle_lang.pygments.VehicleLexer attribute)

NeIndex (class in vehicle_lang.ast) NilList (class in vehicle_lang.ast)

O

Optimiser (in module vehicle_lang.typing)

P

PartialApp (class in vehicle_lang.ast) Pi (class in vehicle_lang.ast) Product (vehicle_lang.typing.DifferentiableLogic attribute) Program (class in vehicle_lang.ast) Provenance (class in vehicle_lang.ast) py_app() (in module vehicle_lang.compile.python) py_binder() (in module vehicle_lang.compile.python) py_builtin() (in module vehicle_lang.compile.python)

py_fraction() (in module vehicle_lang.compile.python) py_name() (in module vehicle_lang.compile.python) py_partial_app() (in module vehicle_lang.compile.python) py_qualified_name() (in module vehicle_lang.compile.python) py_scalar() (in module vehicle_lang.compile.python) py_tensor() (in module vehicle_lang.compile.python) py_tuple() (in module vehicle_lang.compile.python) PythonTranslation (class in vehicle_lang.compile.python)

Q

QuantifiedVariableName (in module vehicle_lang.typing)

T

Target (class in vehicle_lang.typing) tokens (vehicle_lang.pygments.VehicleLexer attribute) translate_App() (vehicle_lang.compile.python.PythonTranslation method) translate_binder() (vehicle_lang.compile.python.PythonTranslation method) translate_Builtin() (vehicle_lang.compile.python.PythonTranslation method) translate_declarations() (vehicle_lang.compile.python.PythonTranslation method)

translate_DefFunction() (vehicle_lang.compile.python.PythonTranslation method) translate_DefPostulate() (vehicle_lang.compile.python.PythonTranslation method) translate_Lam() (vehicle_lang.compile.python.PythonTranslation method) translate_Main() (vehicle_lang.compile.python.PythonTranslation method) translate_PartialApp() (vehicle_lang.compile.python.PythonTranslation method) translate_Pi() (vehicle_lang.compile.python.PythonTranslation method) translate_Var() (vehicle_lang.compile.python.PythonTranslation method)

U

Unit (class in vehicle_lang.ast)

UnitType (class in vehicle_lang.ast)

V

Vehicle (vehicle_lang.typing.DifferentiableLogic attribute) vehicle_lang.ast module vehicle_lang.compile module vehicle_lang.compile.abc module vehicle_lang.compile.python module vehicle_lang.error module

vehicle_lang.pygments module vehicle_lang.typing module VehicleError VehicleInternalError VehicleLexer (class in vehicle_lang.pygments) Verifier (class in vehicle_lang) (class in vehicle_lang.typing) verify() (in module vehicle_lang)

Y

Yager (vehicle_lang.typing.DifferentiableLogic attribute)