jetbrains.mps.unification
Interface Term

All Superinterfaces:
Node
public interface Term
extends Node

A term node. Has a symbol object and a read-only collection of children nodes.

Method Summary
 java.util.Collection<Node> children()
           
 java.lang.Object symbol()
           
 

Method Detail

symbol

java.lang.Object symbol()

children

java.util.Collection<Node> children()