API Reference ExMaude v#0.4.0

Elixir bindings for the Maude formal specification and verification system.

AI rule conflict detection using a Maude equational model.

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.

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.

Runtime configuration readers shared by ExMaude components.

Structured error types for ExMaude operations.

IoT rule conflict detection using a Maude equational model.

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 the Maude interpreter binary.