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

Class HeadHelpers

java.lang.Object

edu.harvard.seas.pl.abcdatalog.ast.HeadHelpers

public final class HeadHelpers
extends Object

A utility class for accessing the head of a clause.

Method Summary

Modifier and Type	Method	Description
static PositiveAtom	forcePositiveAtom(Head head)

Methods inherited from class java.lang.Object

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

Method Details

forcePositiveAtom

public static PositiveAtom forcePositiveAtom(Head head)