interface DirectiveSelector: DirectiveListener, Any
Fields
| Name | Description |
|---|---|
open patterns: List<Term>
|
Methods
listenDirectiveMatchingPattern
open fun listenDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Unifier)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onSetFlag
abstract fun onSetFlag(directive: Directive, name: Term, value: Term)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onOperator
abstract fun onOperator(directive: Directive, priority: Term, specifier: Term, name: Term)
ReturnValue
| Name | Description |
|---|---|
Unit
|