Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/eXene/demos/tactic-tree/src/support.sig
ViewVC logotype

View of /sml/trunk/src/eXene/demos/tactic-tree/src/support.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (as text) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 673 byte(s)
bring revisions from the vendor branch to the trunk
(* support.sig
 *
 * COPYRIGHT (c) 1992 by AT&T Bell Laboratories.  See COPYRIGHT file for details.
 *
 * signature for tactic tree support
 *)

signature TTREE_SUPPORT =
sig
type goal 
type event 
type validation 
type tactic 

val achieves : goal * event -> bool 

val apply_validation : (validation * event list) -> event
val apply_tactic : (tactic * goal) -> goal list * validation

val tactic_menu : (string * tactic) list 
val tactic_ref : tactic ref 

val goal_to_string : goal -> string 
val indentation : string
val unrefined : string 
val refined : string 
val elision : string 

val then_text : string 
val thenl_text : string 
val id_tac_text : string 

end 



root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0