Uses of Enum
edu.harvard.seas.pl.abcdatalog.engine.bottomup.AnnotatedAtom.Annotation

Packages that use AnnotatedAtom.Annotation

Package	Description
edu.harvard.seas.pl.abcdatalog.engine.bottomup	This package contains classes and interfaces that are used in all of the bottom-up engines.

Uses of AnnotatedAtom.Annotation in edu.harvard.seas.pl.abcdatalog.engine.bottomup

Methods in edu.harvard.seas.pl.abcdatalog.engine.bottomup that return AnnotatedAtom.Annotation

Modifier and Type	Method	Description
AnnotatedAtom.Annotation	AnnotatedAtom.getAnnotation()
static AnnotatedAtom.Annotation	AnnotatedAtom.Annotation.valueOf(String name)	Returns the enum constant of this type with the specified name.
static AnnotatedAtom.Annotation[]	AnnotatedAtom.Annotation.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in edu.harvard.seas.pl.abcdatalog.engine.bottomup with parameters of type AnnotatedAtom.Annotation

Modifier	Constructor	Description
	AnnotatedAtom(PositiveAtom atom, AnnotatedAtom.Annotation anno)