Vehicle
latest
Installation
The Vehicle specification language
Type checking a specification
Training with a specification
Verifying a specification
Exporting a specification to an ITP
Python API
Developer documentation
Vehicle
Index
Edit on GitHub
Index
Symbols
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
N
|
O
|
P
|
Q
|
T
|
U
|
V
|
Y
Symbols
--cache
command line option
,
[1]
--dataset
command line option
--modulePrefix
command line option
--network
command line option
--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)
BoundVar (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
--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)
FreeVar (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)
Let (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_BoundVar() (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_FreeVar() (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_Universe() (vehicle_lang.compile.python.PythonTranslation method)
U
Unit (class in vehicle_lang.ast)
UnitType (class in vehicle_lang.ast)
Universe (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)
Read the Docs
v: latest
Versions
latest
stable
v0.14
v0.13.0
v0.12.0
v0.11.1
v0.11.0
v0.10.0
v0.9.0
v0.8.0
v0.7.0
v0.6.0
v0.5.1
v0.5.0
v0.4.1
v0.4.0
v0.3.3
v0.3.2
0.3.1
v0.3.0
v0.2.0
v0.1.0
Downloads
On Read the Docs
Project Home
Builds