|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use TCoqVisitor | |
| escjava.vcGeneration.coq | |
| Uses of TCoqVisitor in escjava.vcGeneration.coq |
| Subclasses of TCoqVisitor in escjava.vcGeneration.coq | |
class |
TCoqBoolVisitor
In the Coq extension, we differentiate Boolean
value and variables from usual Prop.
|
| Constructors in escjava.vcGeneration.coq with parameters of type TCoqVisitor | |
TCoqVisitor(java.io.Writer out,
TCoqVisitor v,
PrettyPrinter ppout,
CoqProver p)
|
|
TCoqBoolVisitor(java.io.Writer out,
TCoqVisitor v,
PrettyPrinter o,
CoqProver p)
Constructor of the couple TCoqVisitor/TCoqBoolVisitor. |
|
|
ESC/Java2 © 2003,2004,2005,2006 David Cok and Joseph Kiniry © 2005,2006 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||