Package edu.harvard.seas.pl.abcdatalog.engine.bottomup

Class SemiNaiveClauseAnnotator.SemiNaiveClause

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.Clause

edu.harvard.seas.pl.abcdatalog.engine.bottomup.SemiNaiveClauseAnnotator.SemiNaiveClause

Enclosing class:

SemiNaiveClauseAnnotator

public static final class SemiNaiveClauseAnnotator.SemiNaiveClause
extends Clause

Field Summary

Fields inherited from class edu.harvard.seas.pl.abcdatalog.ast.Clause

body

Method Summary

Modifier and Type	Method	Description
AnnotatedAtom	getFirstAtom()

Methods inherited from class edu.harvard.seas.pl.abcdatalog.ast.Clause

equals, getBody, getHead, hashCode, toString

Methods inherited from class java.lang.Object

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

Method Details

getFirstAtom

public AnnotatedAtom getFirstAtom()