Expand description
TensorLogic rule validator.
Validates TensorLogic rules for structural correctness, safety, and resource bounds before they are added to the knowledge base.
Structs§
- Rule
Spec - A rule to be validated.
- Tensor
Rule Validator - Validates
RuleSpecinstances before they are committed to the knowledge base. - Validation
Result - The outcome of validating a single rule.
- Validator
Config - Configuration knobs for
TensorRuleValidator.
Enums§
- Validation
Error - Errors that can be produced during rule validation.