Package gprover
Class ACir
- java.lang.Object
-
- gprover.CClass
-
- gprover.ACir
-
public class ACir extends CClass
Represents a geometric circle with various properties and methods.
-
-
Constructor Summary
Constructors Constructor Description ACir()Default constructor for ACir.
-
-
-
Field Detail
-
no
public int no
-
o
public int o
-
pt
public int[] pt
-
d
public int[] d
-
nx
public ACir nx
-
-