All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----aioli.vtp.Proto
formalism_name$operator_name. Atomic values are given their string representation. Tree construction are given by an operator construction plus the number of elements we have to remove from the stack to get the sons of the tree. Let's suppose we have to transmit the following tree:
env[pair(var x, int 1),pair(var y, int 2)]in the formalism tiny. The protocol will be:
tiny$var x tiny$int 1 tiny$pair 2 tiny$var y tiny$int 2 tiny$pair 2 tiny$env 2
public Proto()
public static Tree readTree(InputStream is)
public static Tree readTree(BufferedReader dis)
All Packages Class Hierarchy This Package Previous Next Index