ElTerm (Java-Geometry-Expert 0.87 API)

java.lang.Object
- gprover.ElTerm

```
public class ElTerm
extends java.lang.Object
```
The ElTerm class represents an element term in the geometric theorem proving framework. It encapsulates the term type, its associated variable, geometric expressions (XTerm instances), conditions, and linked terms.

Field Summary

Fields
Modifier and Type Field Description

Cond co

ElTerm et

int etype

int np

ElTerm nx

XTerm p

XTerm p1

XTerm p2

java.lang.String text

Var v

Constructor Summary

Constructors
Constructor Description

ElTerm()
Constructs an ElTerm object with default values.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Vector`	`getAllCond()`	Gets all Cond objects associated with the element term.
`java.util.Vector`	`getAllxterm()`	Gets all XTerm objects associated with the element term.
`int`	`getEType()`	Gets the type of the element term.
`void`	`setText(java.lang.String s)`	Sets the text description of the element term.
`java.lang.String`	`toString()`	Returns the string representation of the element term.

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

- Field Detail
  - etype
```
public int etype
```
  - v
```
public Var v
```
  - p1
```
public XTerm p1
```
  - p2
```
public XTerm p2
```
  - p
```
public XTerm p
```
  - np
```
public int np
```
  - co
```
public Cond co
```
  - nx
```
public ElTerm nx
```
  - text
```
public java.lang.String text
```
  - et
```
public ElTerm et
```
- Constructor Detail
  - ElTerm
```
public ElTerm()
```
    Constructs an ElTerm object with default values.
- Method Detail
  - setText
```
public void setText(java.lang.String s)
```
    Sets the text description of the element term.
    
    Parameters:
    
    s - the text description to set
  - toString
```
public java.lang.String toString()
```
    Returns the string representation of the element term.
    
    Overrides:
    
    toString in class java.lang.Object
    
    Returns:
    
    the string representation of the element term
  - getAllxterm
```
public java.util.Vector getAllxterm()
```
    Gets all XTerm objects associated with the element term.
    
    Returns:
    
    a vector of all XTerm objects
  - getEType
```
public int getEType()
```
    Gets the type of the element term.
    
    Returns:
    
    the type of the element term
  - getAllCond
```
public java.util.Vector getAllCond()
```
    Gets all Cond objects associated with the element term.
    
    Returns:
    
    a vector of all Cond objects