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=83716b3ec066cbdd807354cec436d93c47f6987e60383094918cc3642107df2b

sha512=469f3c68dd44a95ce89a6b80d73e9938e36342cd99afb7cd77b4612e597f02e03c50bcd99ba33eb4fd21d6836796c04eacb6bf0da415f03f622f5b0a9969c1f9

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