[−][src]Module tract_hir::infer
Re-exports
pub use self::rules::expr::IntoExp; |
pub use self::rules::expr::ToDimExp; |
pub use self::rules::InferenceResult; |
pub use self::rules::InferenceRulesOp; |
pub use wrap; |
Modules
helpers | |
rules | A fluent interface for the analyser. |
Structs
InferenceFact | Partial information about a tensor. |
ShapeFactoid | Partial information about a shape. |
Solver | A declarative constraint solver for tensors. |
TensorProxy | A proxy for a tensor. |
Enums
GenericFactoid | Partial information about a value of type T. |
TDim |
Traits
Factoid | Partial information about any value. |
InferenceModelExt | |
InferenceOp | An operation with tensor type inference |
Functions
check_input_arity | |
check_output_arity |
Type Definitions
DimFact | |
InferenceModel | A model with partially types and shapes, as produced by parsing ONNX or Tensorflow graphs. |
InferenceModelPatch | A ModelPatch for InferenceModel. |
InferenceNode | Node for InferenceModel graph |
InferenceSimplePlan | An execution plan for InferenceModel. |
InferenceSimpleState | An execution state for InferenceModel. |
IntFactoid | |
TypeFactoid | Partial information about a type. |
ValueFact | Partial information about a value. |