wallaroo.checks
Root base class for all model-checker expressions. Provides pythonic magic-method sugar for expression definitions.
Root base class for all model-checker expressions. Provides pythonic magic-method sugar for expression definitions.
Inherited Members
- Expression
- one_of
- from_py
- top_json
Root base class for all model-checker expressions. Provides pythonic magic-method sugar for expression definitions.
Inherited Members
- Expression
- one_of
- from_py
- top_json
Declares a model variable that can be used as an :py:Expression: in the
model checker. Variables are identified by their model_name
, a position
of either "input"
or "output"
, and the tensor index
.
Inherited Members
- Expression
- one_of
- from_py
- top_json
Root base class for all model-checker expressions. Provides pythonic magic-method sugar for expression definitions.
Inherited Members
- Expression
- one_of
- from_py
- top_json
Returns true if a string is compliant with DNS label name requirement to ensure it can be a part of a full DNS host name
Validates that 'name' complies with DNS naming requirements or raises an exception