Package jason.bb
Class StructureWrapperForLiteral
java.lang.Object
jason.bb.StructureWrapperForLiteral
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<StructureWrapperForLiteral>
public final class StructureWrapperForLiteral extends java.lang.Object implements java.lang.Comparable<StructureWrapperForLiteral>, java.io.Serializable
a literal that uses equalsAsTerm for equals
- See Also:
- Serialized Form
-
Field Summary
Fields Modifier and Type Field Description private Literal
l
private static long
serialVersionUID
-
Constructor Summary
Constructors Constructor Description StructureWrapperForLiteral(Literal l)
-
Method Summary
Modifier and Type Method Description int
compareTo(StructureWrapperForLiteral o)
boolean
equals(java.lang.Object o)
Literal
getLiteral()
int
hashCode()
java.lang.String
toString()
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
- Constant Field Values
-
l
-
-
Constructor Details
-
StructureWrapperForLiteral
-
-
Method Details
-
hashCode
public int hashCode()- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object o)- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-
compareTo
- Specified by:
compareTo
in interfacejava.lang.Comparable<StructureWrapperForLiteral>
-
getLiteral
-