Package gprover
Class CClass
- java.lang.Object
-
- gprover.CClass
-
- Direct Known Subclasses:
ACir,Angles,AngleT,AngSt,AngTn,AngTr,CongSeg,CSegs,Incenter,LLine,LList,MidPt,PLine,Polygon,RatioSeg,Rule,SimTri,STris,TLine
public class CClass extends java.lang.ObjectThe CClass class represents a base class for geometric objects. It includes properties for unique identification, depth, type, and text description.
-
-
Constructor Summary
Constructors Constructor Description CClass()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringtoString()Returns a string representation of the geometric object.
-
-
-
Field Detail
-
MAX_GEO
public static final int MAX_GEO
The maximum number of geometric objects.- See Also:
- Constant Field Values
-
id_count
public static long id_count
A static counter for generating unique IDs.
-
-