Package edu.tufts.hrilab.fol

Class Constant

java.lang.Object

edu.tufts.hrilab.fol.Symbol

edu.tufts.hrilab.fol.Constant

All Implemented Interfaces:

Serializable, Cloneable

public class Constant
extends Symbol
implements Cloneable, Serializable

Representation of constant logical form.

See Also:

• Serialized Form

Field Summary

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

name, type

Constructor Summary

Constructors

Constructor	Description
Constant(Constant c)
Constant(String input)
Constant(String name, String type)
Constant(String name, String type, Object value)

Method Summary

Modifier and Type	Method	Description
Constant	clone()
boolean	equals(Object o)
boolean	equalsIgnoreType(Object o)	Compare without checking semantic type information.
Object	getValue()
int	hashCode()
boolean	isConstant()

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

Constant

public Constant(Constant c)

Constant

public Constant(String input)

Constant

public Constant(String name,
 String type)

Constant

public Constant(String name,
 String type,
 Object value)

Method Details

getValue

public Object getValue()

clone

public Constant clone()

Overrides:

clone 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

isConstant

public boolean isConstant()

Overrides:

isConstant in class Symbol