de.uni_freiburg.informatik.ultimate.logic

Class Annotation

java.lang.Object

de.uni_freiburg.informatik.ultimate.logic.Annotation

public class Annotation
extends java.lang.Object

Representation of an annotation in a formula. Note that the keys ":named", and ":pattern" have special meaning as described in the SMTLIB version 2 standard.

Author:

Jochen Hoenicke

Constructor Summary

Constructors

Constructor and Description
Annotation(java.lang.String key, java.lang.Object value)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.String	getKey()
java.lang.Object	getValue()
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Annotation

public Annotation(java.lang.String key,
                  java.lang.Object value)

Method Detail

getKey

public java.lang.String getKey()

getValue

public java.lang.Object getValue()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object