package electrod

You can search for identifiers within the package.

in-package search v0.2.0

Formal analysis for the Electrod formal pivot language

Install

sha256=c58502de17f5b8d739963b5b5d7c761883305bc2b6464fc37769aae4bb31a28c

sha512=bc15032cbda06b0eb64d55cc7800d6c992c0823bb86609ddc5e56744fd0c76ea25b4f4ad7cafdee6fcaa2f109e48ca99f4270919f9a2ea4c7bf53f30b0ee3677

type t

val make : Domain.t -> Name.t -> Tuple.t -> t

val compare : t -> t -> int

val compare_string : t -> t -> int

compare atoms as strings

val equal : t -> t -> bool

val hash : t -> int

val domain_arity : t -> int option

None if non-enumerable; otw Some ar with ar >= 0

val is_const : t -> bool

Says whether the atomic proposition corresponds to a const or var relation

val is_partial : t -> bool

val split_string : string -> (Name.t * Tuple.t) option

split_string s returns the name and tuple that produced this string, None in case no such pair has arrived

val split : t -> (Name.t * Tuple.t) option

val pp : t Fmtc.t