class School::TraceNode

Overview

A node in a trace.

Defined in:

school/rule/pattern.cr
school/utils/trace.cr

Instance Method Summary

Instance methods inherited from class School::Trace

nest(&) nest

Class methods inherited from class School::Trace

root root

Instance Method Detail

def condition(pattern : BasePattern) #

[View source]
def fact(fact, before : Bindings, after : Bindings) #

[View source]
def fail #

Indicates a failed match.


[View source]
def match(bindings : Bindings) #

[View source]
def nest #

[View source]
def succeed #

Indicates a successful match.


[View source]