Formula (ESCTools)

Class

Use

Tree

Index

Help

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 CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

escjava.prover
Class Formula

java.lang.Object
  escjava.prover.Formula

public class Formula
extends java.lang.Object

Field Summary
`private java.lang.String`	`formula`

Constructor Summary
`(package private)`	`Formula(java.lang.String formula)`

Method Summary
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

formula

private java.lang.String formula

Constructor Detail

Formula

Formula(java.lang.String formula)

Method Detail

toString

public java.lang.String toString()

Overview

Package