Package edu.tufts.hrilab.fol

Class Variable

java.lang.Object

edu.tufts.hrilab.fol.Symbol

edu.tufts.hrilab.fol.Variable

All Implemented Interfaces:

Serializable, Cloneable

public class Variable
extends Symbol
implements Cloneable, Serializable

Representation of variable logical form.

See Also:

• Serialized Form

Field Summary

Fields inherited from class edu.tufts.hrilab.fol.Symbol

name, type

Constructor Summary

Constructors

Constructor	Description
Variable(Variable v)
Variable(String name)
Variable(String name, String type)
Variable(String name, String type, Symbol value)	Deprecated.

Method Summary

Modifier and Type	Method	Description
Variable	clone()
boolean	equals(Object o)
boolean	equalsIgnoreType(Object o)	Compare without checking semantic type information.
Symbol	getValue()
int	hashCode()
boolean	isVariable()
void	setType(String t)	Deprecated.

Methods inherited from class edu.tufts.hrilab.fol.Symbol

getName, getType, hasArgs, hasType, isConstant, isPredicate, isTerm, setName, toString, toUnnegatedForm, toUntypedString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Variable

public Variable(Variable v)

Variable

public Variable(String name)

Variable

public Variable(String name,
 String type)

Variable

@Deprecated
public Variable(String name,
 String type,
 Symbol value)

Deprecated.

Method Details

setType

@Deprecated
public void setType(String t)

Deprecated.

getValue

public Symbol getValue()

isVariable

public boolean isVariable()

Overrides:

isVariable in class Symbol

equalsIgnoreType

public boolean equalsIgnoreType(Object o)

Compare without checking semantic type information.

Overrides:

equalsIgnoreType in class Symbol

Parameters:

o -

Returns:

equals

public boolean equals(Object o)

Overrides:

equals in class Symbol

hashCode

public int hashCode()

Overrides:

hashCode in class Symbol

clone

public Variable clone()

Overrides:

clone in class Symbol