ListTree¶

class ListTree extends Tree ¶: A list-arity node of a Tree.

Constructors¶

ListTree¶

protected ListTree(Operator operator)¶

Methods¶

addChild¶

public void addChild(Tree addedChild, int rank)¶

addChildren¶

public void addChildren(Tree[] addedChildren, int rank)¶

addChildren¶

public void addChildren(TapList<Tree> addedChildren, int rank)¶

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 n)¶

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()¶

removeChild¶

public void removeChild(int rank)¶

setChild¶

public void setChild(Tree newChild, int rank)¶

toString¶

public String toString()¶

writeToILFile¶

protected void writeToILFile(java.io.BufferedWriter fileWriter)¶