Class LogicSchemaMother
java.lang.Object
edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaMother
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
buildLogicSchemaWithIDs
(String schemaString) static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
buildLogicSchemaWithIDs
(String schema, Set<String> customBuiltInOperators) static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
buildLogicSchemaWithIDsAndPredicates
(String schemaString, edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec... predicateSpecs) static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
buildLogicSchemaWithIDsAndPredicates
(String schemaString, List<edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec> predicateSpecList) static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema
-
Constructor Details
-
LogicSchemaMother
public LogicSchemaMother()
-
-
Method Details
-
buildLogicSchemaWithIDs
public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema buildLogicSchemaWithIDs(String schemaString) -
buildLogicSchemaWithIDsAndPredicates
public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema buildLogicSchemaWithIDsAndPredicates(String schemaString, edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.PredicateSpec... predicateSpecs) -
buildLogicSchemaWithIDsAndPredicates
-
createEmptySchema
public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema createEmptySchema() -
buildLogicSchemaWithIDs
-