Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec

Class OrdinaryLiteralSpec

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec

All Implemented Interfaces:

LiteralSpec, LogicElementSpec

public class OrdinaryLiteralSpec
extends Object
implements LiteralSpec

Specification of an ordinary literal.

Constructor Summary

Constructors

Constructor	Description
OrdinaryLiteralSpec(String predicateName, List<TermSpec> termsList)
OrdinaryLiteralSpec(String predicateName, List<TermSpec> termsList, boolean isPositive)

Method Summary

Modifier and Type	Method	Description
Set<String>	getAllVariableNames()
String	getPredicateName()
List<TermSpec>	getTermSpecList()
boolean	isPositive()

Methods inherited from class java.lang.Object

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

Constructor Details

OrdinaryLiteralSpec

public OrdinaryLiteralSpec(String predicateName,
 List<TermSpec> termsList)

OrdinaryLiteralSpec

public OrdinaryLiteralSpec(String predicateName,
 List<TermSpec> termsList,
 boolean isPositive)

Method Details

getPredicateName

public String getPredicateName()

getTermSpecList

public List<TermSpec> getTermSpecList()

Specified by:

getTermSpecList in interface LiteralSpec

isPositive

public boolean isPositive()

getAllVariableNames

public Set<String> getAllVariableNames()

Specified by:

getAllVariableNames in interface LiteralSpec