Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain

Class ConjunctiveQuery

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ConjunctiveQuery

public class ConjunctiveQuery
extends Query

Method Summary

Modifier and Type	Method	Description
ImmutableAtomList	getBodyAtoms()
boolean	isConjunctiveQuery()

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query

getBody, getHeadTerms, toString, unfold

Methods inherited from class java.lang.Object

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

Method Details

getBodyAtoms

public ImmutableAtomList getBodyAtoms()

isConjunctiveQuery

public boolean isConjunctiveQuery()

Overrides:

isConjunctiveQuery in class Query