apply
fun <Element : A_BasicObject> applyEffect( undecidedDefinition: Element, ifPositive: MutableList<Element>, ifUndecided: MutableList<Element>)
Content copied to clipboard
Conditionally augment the supplied lists with the provided undecided Element. The decision of which lists to augment depends on this instance, which is the result of a comparison with the proposed node's type restrictions.
Parameters
undecided
An Element whose applicability has not yet been decided.
if
A list of definitions that will be applicable to some arguments if this comparison indicates the definition is proven at some node.
if
A list of definitions that will be applicable to some arguments if this comparison indicates the definition is possible at some node.