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

Class LiteralMother

java.lang.Object

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

public class LiteralMother
extends Object

Constructor Summary

Constructors

Constructor	Description
LiteralMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral	createCustomBuiltInLiteral(String customBuiltIn, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(boolean isPositive, String predicateName, String... terms)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(boolean isPositive, String predicateName, List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema schema, boolean isPositive, String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema schema, String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema schema, boolean isPositive, String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema schema, String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(String predicateName, String... termNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteral(String predicateName, List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteralWithVariableNames(boolean isPositive, String predicateName, List<String> variableNames)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral	createOrdinaryLiteralWithVariableNames(String predicateName, List<String> variableNames)

Methods inherited from class java.lang.Object

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

Constructor Details

LiteralMother

public LiteralMother()

Method Details

createOrdinaryLiteralWithVariableNames

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteralWithVariableNames(String predicateName,
 List<String> variableNames)

createOrdinaryLiteralWithVariableNames

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteralWithVariableNames(boolean isPositive,
 String predicateName,
 List<String> variableNames)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(String predicateName,
 List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(String predicateName,
 String... termNames)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(boolean isPositive,
 String predicateName,
 List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term> terms)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(boolean isPositive,
 String predicateName,
 String... terms)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema schema,
 boolean isPositive,
 String predicateName,
 String... termNames)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema schema,
 String predicateName,
 String... termNames)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema schema,
 boolean isPositive,
 String predicateName,
 String... termNames)

createOrdinaryLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral createOrdinaryLiteral(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema schema,
 String predicateName,
 String... termNames)

createCustomBuiltInLiteral

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.CustomBuiltInLiteral createCustomBuiltInLiteral(String customBuiltIn,
 String... termNames)