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

Interface LogicElementSpec

All Known Subinterfaces:

LiteralSpec

All Known Implementing Classes:

BodySpec, BuiltInLiteralSpec, ConstantSpec, DependencySchemaSpec, DependencySpec, DerivationRuleSpec, EGDSpec, HeadAtomsSpec, LogicConstraintSpec, LogicConstraintWithIDSpec, LogicConstraintWithoutIDSpec, LogicSchemaSpec, OrdinaryLiteralSpec, QuerySetSpec, QuerySpec, TermSpec, TGDSpec, UnnamedVariableSpec, VariableSpec

public interface LogicElementSpec