retex v0.1.5 Retex.Fact.Isa View Source

A type of thing that needs to exists in order for a Wme to activate part of a condition

Link to this section Summary

Link to this section Types

Link to this type

fields()

View Source
fields() :: [type: type(), variable: variable()]
Link to this type

t()

View Source
t() :: %Retex.Fact.Isa{type: type(), variable: variable()}
Link to this type

variable()

View Source
variable() :: String.t()

Link to this section Functions