Package de.sebinside.dcp.dsl.generator.util

Class PrologUtils

java.lang.Object

de.sebinside.dcp.dsl.generator.util.PrologUtils

public class PrologUtils
extends Object

Constructor Summary

Constructors

Constructor	Description
PrologUtils()

Method Summary

Modifier and Type	Method	Description
static org.palladiosimulator.supporting.prolog.model.prolog.AtomicNumber	AtomicNumber(int value)
static org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString	AtomicQuotedString(String value)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm	CompoundTerm()
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm	CompoundTerm(String value)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm	CompoundTerm(String value, List<org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> arguments)
static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm	CompoundTerm(String value, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression singleArgument)
static org.palladiosimulator.supporting.prolog.model.prolog.Fact	Fact(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm term)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.GreaterThan	Geater(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LessThan	Less(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)
static org.palladiosimulator.supporting.prolog.model.prolog.List	List(Iterable<org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> heads)
static org.palladiosimulator.supporting.prolog.model.prolog.List	List(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression head)
static org.palladiosimulator.supporting.prolog.model.prolog.List	List(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression head, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression tail)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LogicalAnd	LogicalAnd(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LogicalOr	LogicalOr(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.NotProvable	NotProvable(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expr)
static org.palladiosimulator.supporting.prolog.model.prolog.Rule	Rule(String head)
static org.palladiosimulator.supporting.prolog.model.prolog.Fact	SimpleFact(String head, org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString argument)
static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification	Unification(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left, org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologUtils

public PrologUtils()

Method Detail

Rule

public static org.palladiosimulator.supporting.prolog.model.prolog.Rule Rule(String head)

SimpleFact

public static org.palladiosimulator.supporting.prolog.model.prolog.Fact SimpleFact(String head,
                                                                                   org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString argument)

Fact

public static org.palladiosimulator.supporting.prolog.model.prolog.Fact Fact(org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm term)

CompoundTerm

public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm CompoundTerm()

CompoundTerm

public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm CompoundTerm(String value)

CompoundTerm

public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm CompoundTerm(String value,
                                                                                             org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression singleArgument)

CompoundTerm

public static org.palladiosimulator.supporting.prolog.model.prolog.CompoundTerm CompoundTerm(String value,
                                                                                             List<org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> arguments)

LogicalAnd

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LogicalAnd LogicalAnd(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left,
                                                                                                     org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)

LogicalOr

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LogicalOr LogicalOr(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left,
                                                                                                   org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)

NotProvable

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.NotProvable NotProvable(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression expr)

Unification

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.Unification Unification(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left,
                                                                                                       org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)

List

public static org.palladiosimulator.supporting.prolog.model.prolog.List List(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression head,
                                                                             org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression tail)

List

public static org.palladiosimulator.supporting.prolog.model.prolog.List List(Iterable<org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression> heads)

List

public static org.palladiosimulator.supporting.prolog.model.prolog.List List(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression head)

AtomicQuotedString

public static org.palladiosimulator.supporting.prolog.model.prolog.AtomicQuotedString AtomicQuotedString(String value)

AtomicNumber

public static org.palladiosimulator.supporting.prolog.model.prolog.AtomicNumber AtomicNumber(int value)

Less

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.LessThan Less(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left,
                                                                                             org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)

Geater

public static org.palladiosimulator.supporting.prolog.model.prolog.expressions.GreaterThan Geater(org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression left,
                                                                                                  org.palladiosimulator.supporting.prolog.model.prolog.expressions.Expression right)