FixedTree

class FixedTree extends Tree

A fixed-arity node of a Tree.

Constructors

FixedTree

protected FixedTree(Operator operator)

Methods

checkSyntax

protected boolean checkSyntax(Phylum phylum, String path)

children

public Tree[] children()

childrenList

public TapList<Tree> childrenList()

copy

public Tree copy()

cutChild

public Tree cutChild(int rank)

down

public Tree down(int rank)

equalsTree

public boolean equalsTree(Tree other)

getRank

public int getRank(Tree son)

isAtom

public boolean isAtom()

isFixed

public boolean isFixed()

isIntAtom

public boolean isIntAtom()

isList

public boolean isList()

isStringAtom

public boolean isStringAtom()

length

public int length()

setChild

public void setChild(Tree newChild, int rank)

toString

public String toString()

writeToILFile

protected void writeToILFile(java.io.BufferedWriter fileWriter)