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

Interface LiteralSpec

All Superinterfaces:
LogicElementSpec
All Known Implementing Classes:
BuiltInLiteralSpec, OrdinaryLiteralSpec
public interface LiteralSpec extends LogicElementSpec
Specification of a Literal.

  • Method Details

    • getTermSpecList

      List<TermSpec> getTermSpecList()

    • getAllVariableNames

      Set<String> getAllVariableNames()