concepts.dsl.all#

Import all the DSL-related modules.

Types

`AliasType`
`AutoType`	Base class for all types.
`AnyType`	AutoType means the type will be automatically inferred later.
`ObjectType`	The ObjectType corresponds to the type of "real-world" objects.
`ValueType`	The ValueType corresponds to a value of a certain type.
`ConstantType`	The ConstantType corresponds to a constant value.
`PyObjValueType`
`TensorValueTypeBase`	A value type refers to a type of some features associated with physical objects.
`ScalarValueType`
`STRING`
`BOOL`
`INT64`
`FLOAT32`
`VectorValueType`
`NamedTensorValueType`
`TupleType`
`ListType`
`BatchedListType`

Variable, constant, and slices

`QINDEX`	The "quantified index" object, used to indicate a quantified dimension in a tensor value type.
`Variable`	The class representing a variable in a function.
`ObjectConstant`	The class representing a constant object in a DSL.
`UnnamedPlaceholder`

Function types

Domain

`DSLDomainBase`	The baseclass for the domain definition of a domain-specific language.
`FunctionDomain`	A basic domain definition that contains a collection of types, constants, and functions.
`resolve_lambda_function_type`(fn_domain, ...)	Resolve the function type of a lambda expression.

Values

`TensorValue`	A value object with an internal `torch.Tensor` storage.
`TensorizedPyObjValues`	A value object with nested lists of Python objects.
`concat_tvalues`(*args)
`expand_as_tvalue`(value, other)
`expand_tvalue`(value, batch_variables, ...)
`Value`	A simple value object holds a pair of dtype and a value.
`ListValue`	A list of values.

State

`StateObjectReference`	The StateObjectReference class represents a reference to an object in the state.
`StateObjectList`
`StateObjectDistribution`
`TensorState`	A state representation is essentially a mapping from feature names to tensors.
`NamedObjectTensorState`	A state type with named objects.
`concat_states`(*args)	Concatenate a list of states into a batch state.

Constraints

`OptimisticValue`	An optimistic value object holds a pair of data type and an optimistic identifier.
`Constraint`	A constraint is basically a equality expression: `function(*arguments) == rv`.
`EqualityConstraint`	A special constraint for equality constraints.
`GroupConstraint`
`SimulationFluentConstraintFunction`	SimulationConstraint is a special kind of constraint that asserts the return value of the function is the grounding of a predicate after executing action `action_index` in the simulation.
`ConstraintSatisfactionProblem`	A constraint satisfaction problem.
`NamedConstraintSatisfactionProblem`
`AssignmentType`	See class Assignment.
`Assignment`	An assignment of a variable.
`AssignmentDict`	A mapping from variable indices to assignment values.
`print_assignment_dict`(assignments[, csp])	Print an assignment dictionary.
`ground_assignment_value`(assignments, identifier)	Get the value of a variable based on the assignment dictionary.

Executors

`DSLExecutorBase`	The baseclass for all executors of domain-specific languages.
`FunctionDomainExecutor`	The executor for simple function DSLs.
`TensorValueExecutorBase`	The base class for tensor value executors.
`FunctionDomainTensorValueExecutor`	Similar to `FunctionDomainExecutor`, but works for `TensorValue`.

Parsers

`ParserBase`	The baseclass for all parsers of domain-specific languages.
`FunctionExpressionParser`	The simple function expression parser.
`FOLPythonParser`	A parser to parse first-order logic (FOL) expressions in Python syntax.