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

Class DatalogValidator.True

java.lang.Object

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

Enclosing class:

DatalogValidator

public static final class DatalogValidator.True
extends Object

Method Summary

Modifier and Type	Method	Description
static PositiveAtom	getTrueAtom()

Methods inherited from class java.lang.Object

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

Method Details

getTrueAtom

public static PositiveAtom getTrueAtom()