GRule (Java-Geometry-Expert 0.87 API)

java.lang.Object
- wprover.GRule

```
public class GRule
extends java.lang.Object
```
Represents a rule in GeoGebra with a type, name, head, description, and example string.

Field Summary

Fields
Modifier and Type Field Description

java.lang.String description

java.lang.String exstring

java.lang.String head

java.lang.String name

int rx

int type

Constructor Summary

Constructors
Constructor	Description
`GRule(int t, java.lang.String t1, java.lang.String t2, java.lang.String t3, int tx)`	Constructs a new GRule with the specified type, head, description, example string, and rule type.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`isFullRule()`	Checks if the rule is a FULL rule.
`boolean`	`isGDDRule()`	Checks if the rule is a GDD rule.

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

- Field Detail
  - type
```
public int type
```
  - rx
```
public int rx
```
  - name
```
public java.lang.String name
```
  - head
```
public java.lang.String head
```
  - description
```
public java.lang.String description
```
  - exstring
```
public java.lang.String exstring
```
- Constructor Detail
  - GRule
```
public GRule(int t,
             java.lang.String t1,
             java.lang.String t2,
             java.lang.String t3,
             int tx)
```
    Constructs a new GRule with the specified type, head, description, example string, and rule type.
    
    Parameters:
    
    t - the type of the rule
    
    t1 - the head of the rule
    
    t2 - the description of the rule
    
    t3 - the example string of the rule
    
    tx - the rule type (0 for GDD, 1 for FULL)
- Method Detail
  - isGDDRule
```
public boolean isGDDRule()
```
    Checks if the rule is a GDD rule.
    
    Returns:
    
    true if the rule is a GDD rule, false otherwise
  - isFullRule
```
public boolean isFullRule()
```
    Checks if the rule is a FULL rule.
    
    Returns:
    
    true if the rule is a FULL rule, false otherwise