API Reference ExMaude v#0.2.0

Elixir bindings for the Maude formal specification and verification system.

AI rule conflict detection using Maude formal verification.

Parses Maude conflict-detection output from ai-rules.maude into Elixir structures.

Encodes Elixir AI rule structures into Maude syntax compatible with the bundled ai-rules.maude module.

Validates AI rule structures before encoding to Maude.

OTP Application callback module for ExMaude.

Behaviour for ExMaude communication backends.

C-Node backend for ExMaude.

NIF-based backend for ExMaude using Rustler.

Port-based backend for ExMaude.

Maude binary management and platform detection.

Structured error types for ExMaude operations.

IoT rule conflict detection using Maude formal verification.

Parses Maude conflict detection output into Elixir structures.

Encodes Elixir IoT rule structures into Maude syntax.

Validates IoT rule structures before conflict detection.

High-level API for interacting with Maude.

Parser for Maude command output.

Poolboy-based pool of Maude server processes.

Result of a Maude reduce operation.

Result of a Maude search operation.

A single solution from a Maude search operation.

GenServer that manages a single Maude process.

Telemetry events for ExMaude.

Structured representation of a Maude term.

Installs or updates Maude system binary.