public class JIPVariable extends JIPTerm
JIPTerm
,
Serialized FormModifier and Type | Method and Description |
---|---|
static JIPVariable |
create()
Creates a new anonimous Variable
|
static JIPVariable |
create(String strName)
Creates a new Variable
|
String |
getName()
Returns the name of the variable
|
JIPTerm |
getValue()
If the variable is bounded it returns the JIPTerm object bounded, otherwise it return null.
|
boolean |
isAnonymous()
Checks if the variable is anonymous
|
boolean |
isBounded()
Checks if the variable is bounded (instantiated)
|
public static final JIPVariable create(String strName)
strName
- the name of the variablepublic static final JIPVariable create()
public JIPTerm getValue()
public final String getName()
public final boolean isBounded()
public final boolean isAnonymous()