Deprecated API

Contents

• Classes
• Methods

Classes

Class	Description
gprover.Main
gprover.Main2

Methods

Method	Description
gprover.Main2.main(String[])
wprover.CPolygon.getPolygonTypeString()	Use CPolygon.getPolygonTypeString(String) instead.
wprover.CPolygon.TypeString()	Use CPolygon.getPolygonTypeString(String) instead.
wprover.CProperty.getLanguage(String)	Use GExpert.getLanguage(String) instead.
wprover.PanelAlgebraic.getLanguage(int, String)	This method is deprecated. Use GExpert.getLanguage(s) directly.