Package edu.harvard.seas.pl.abcdatalog.ast.validation

Class DatalogValidator.ValidClause

java.lang.Object

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

edu.harvard.seas.pl.abcdatalog.ast.validation.DatalogValidator.ValidClause

Enclosing class:

DatalogValidator

public static final class DatalogValidator.ValidClause
extends Clause

Field Summary

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

body

Method Summary

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