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

Class ImmutableLiteralsListMother

java.lang.Object

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

public class ImmutableLiteralsListMother
extends Object

Constructor Summary

Constructors

Constructor	Description
ImmutableLiteralsListMother()

Method Summary

Modifier and Type	Method	Description
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList	create(String listOfLiterals)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList	create(String literalsList, String derivationRules)
static List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList>	createListOfImmutableLiterals(List<String> listOfListOfLiterals, String derivationRules)
static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList	createWithCustomBuiltinLiterals(String listOfLiterals, Set<String> customBuiltInPredicateNames)

Methods inherited from class java.lang.Object

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

Constructor Details

ImmutableLiteralsListMother

public ImmutableLiteralsListMother()

Method Details

create

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList create(String listOfLiterals)

create

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList create(String literalsList,
 String derivationRules)

createListOfImmutableLiterals

public static List<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList> createListOfImmutableLiterals(List<String> listOfListOfLiterals,
 String derivationRules)

createWithCustomBuiltinLiterals

public static edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList createWithCustomBuiltinLiterals(String listOfLiterals,
 Set<String> customBuiltInPredicateNames)