Produces a LaTeX drawing of an SLDNF tree

http://endif.unife.it/it/ricerca-1/aree-di-ricerca/informazione/ingegneria-informatica/software/sldnf-draw/sldnf-draw

author

- Marco Gavanelli, Lorenzo Campioni, Fabrizio Riguzzi

copyright

- Marco Gavanelli

license

- Simplified BSD license

 set_depth(++Depth:int) is det

Sets the maximum depth of the SLDNF tree

 animate(:Var) is det

Sets animation on. The argument is unused (it is there to collect the name of the calling module)

 draw_goal(++File:string) is det

draw_goal(--Tree:string) is det

Writes the Latex code of the tree to File or returns it as a string in Tree