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

Class LogicSchemaWithCustomBuiltInMother

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.mothers.LogicSchemaWithCustomBuiltInMother

public class LogicSchemaWithCustomBuiltInMother
extends Object

Constructor Summary

Constructors

Constructor	Description
LogicSchemaWithCustomBuiltInMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema	buildLogicSchema(String schemaString, String... customBuiltIn)

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaWithCustomBuiltInMother

public LogicSchemaWithCustomBuiltInMother()

Method Details

buildLogicSchema

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema buildLogicSchema(String schemaString,
 String... customBuiltIn)