Rule (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.CClass
- - gprover.Rule

```
public class Rule
extends CClass
```
Represents a rule in a geometric construction.

Field Summary

Fields
Modifier and Type	Field	Description
`static int`	`EQ_ANGLE`	Constant for equal angle type.
`static int`	`EX_ANGLE`	Constant for external angle type.
`Mnde`	`mr`	The main Mnde object associated with the rule.
`Mnde[]`	`mr1`	Array of Mnde objects associated with the rule.
`static int`	`P_ANGLE`	Constant for P angle type.
`static int`	`SPLIT_ANGLE`	Constant for split angle type.
`static int`	`T_ANGLE`	Constant for T angle type.

Fields inherited from class gprover.CClass
id_count, MAX_GEO

Constructor Summary

Constructors
Constructor Description

Rule(int t)
Constructs a Rule object with a specified type.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`cp_rule(Rule r)`	Copies the properties of another Rule object to this Rule object.
`java.lang.String`	`toString()`	Returns a string representation of the rule.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - SPLIT_ANGLE
```
public static final int SPLIT_ANGLE
```
    Constant for split angle type.
    
    See Also:
    
    Constant Field Values
  - P_ANGLE
```
public static final int P_ANGLE
```
    Constant for P angle type.
    
    See Also:
    
    Constant Field Values
  - T_ANGLE
```
public static final int T_ANGLE
```
    Constant for T angle type.
    
    See Also:
    
    Constant Field Values
  - EX_ANGLE
```
public static final int EX_ANGLE
```
    Constant for external angle type.
    
    See Also:
    
    Constant Field Values
  - EQ_ANGLE
```
public static final int EQ_ANGLE
```
    Constant for equal angle type.
    
    See Also:
    
    Constant Field Values
  - mr1
```
public Mnde[] mr1
```
    Array of Mnde objects associated with the rule.
  - mr
```
public Mnde mr
```
    The main Mnde object associated with the rule.
- Constructor Detail
  - Rule
```
public Rule(int t)
```
    Constructs a Rule object with a specified type.
    
    Parameters:
    
    t - the type of the rule
- Method Detail
  - cp_rule
```
public void cp_rule(Rule r)
```
    Copies the properties of another Rule object to this Rule object.
    
    Parameters:
    
    r - the Rule object to copy from
  - toString
```
public java.lang.String toString()
```
    Returns a string representation of the rule.
    
    Overrides:
    
    toString in class CClass
    
    Returns:
    
    a string representation of the rule