concepts.dsl#

Basic data structures and utilities (e.g., parser, executor) for domain-specific languages.

all

Import all the DSL-related modules.

constraint

Data structures for Constraint Satisfaction Problems (CSPs).

dsl_domain

The base calss for domain definitions: containing custom types, constants, and functions.

dsl_functions

Data structures representing functions in a DSL.

dsl_types

Data structures for custom types in a DSL.

executors

The baseclass for all executors of domain-specific languages and a few implementations for simple function domains and tensor-based value representations.

expression

Data structures for expressions in a DSL.

expression_utils

Utilities for manipulating expressions.

expression_visitor

A visitor for iterating over expressions.

function_domain

Function domain contains the definition for a collection of types and function types.

learning

Simple search-based algorithms for learning expressions in a DSL.

parsers

Baseclass for all parsers of domain-specific languages and the implementation of a simple function domain parser.

tensor_state

Data structures for tensor states.

tensor_value

Data structures and simple shape-related operations for tensor values.

tensor_value_utils

value

The baseclass for all value representations of domain-specific languages.