Uses of Class
edu.cs.ai.kreator.logic.GeneralizedPredicate

Packages that use GeneralizedPredicate

edu.cs.ai.kreator.datamodels
edu.cs.ai.kreator.logic
edu.cs.ai.kreator.logic.prolog
edu.cs.ai.kreator.models
edu.cs.ai.kreator.parser.groundatom
edu.cs.ai.kreator.ui.gui.components.controller

Uses of GeneralizedPredicate in edu.cs.ai.kreator.datamodels

Methods in edu.cs.ai.kreator.datamodels that return types with arguments of type GeneralizedPredicate

java.util.List<GeneralizedPredicate>

SampleCollection.getPredicates()

Uses of GeneralizedPredicate in edu.cs.ai.kreator.logic

Methods in edu.cs.ai.kreator.logic that return GeneralizedPredicate

static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name)
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, int arity)
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts)
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts, java.util.List<java.lang.String> range)
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts, java.util.List<java.lang.String> range, CombiningRule combiningRule)
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts, java.util.List<java.lang.String> range, CombiningRule combiningRule, java.util.List<java.lang.Integer> mutuallyExclusiveExhaustiveArgs) Creates the corresponding predicate.
static GeneralizedPredicate	GeneralizedPredicate.create(LanguageFactory languageFactory, java.lang.String name, java.util.List<Sort> argSorts)
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name)
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name, int arity)
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts)
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts, java.util.List<java.lang.String> range)
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name, int arity, java.util.List<Sort> argSorts, java.util.List<java.lang.String> range, CombiningRule combiningRule, java.util.List<java.lang.Integer> mutuallyExclusiveExhaustiveArgs) Returns an already existing predicate or, if necessary, constructs a new predicate with the given name and parameters.
static GeneralizedPredicate	GeneralizedPredicate.createOrGet(LanguageFactory languageFactory, java.lang.String name, java.util.List<Sort> argSorts)
GeneralizedPredicate	LanguageFactory.getExistingPredicate(java.lang.String predicateName) Look for the predicate with the given name.
GeneralizedPredicate	StrictNegation.getPredicate()
abstract GeneralizedPredicate	Literal.getPredicate() Returns the predicate of this literal.
GeneralizedPredicate	GeneralizedAtom.getPredicate()
GeneralizedPredicate	LogicTranslator.toKreatorPredicate(P predicate, LanguageFactory language) Creates a KReator GeneralizedPredicate from the given Predicate of type P of the foreign logic.
GeneralizedPredicate	TweetyTranslator.toKreatorPredicate(net.sf.tweety.logics.firstorderlogic.syntax.Predicate predicate, LanguageFactory language)

Methods in edu.cs.ai.kreator.logic that return types with arguments of type GeneralizedPredicate

java.util.List<GeneralizedPredicate>	LanguageFactory.getAllPredicates() Returns a list of all predicates in this language.
java.util.Set<GeneralizedPredicate>	Clause.getAllPredicates() Returns a Set of all predicates of this clause (occurring in head and body)
static java.util.List<GeneralizedPredicate>	AtomExpression.getPredicates(java.util.Collection<? extends AtomExpression> data) For a set {p1(...)

Methods in edu.cs.ai.kreator.logic with parameters of type GeneralizedPredicate

int	GeneralizedPredicate.compareTo(GeneralizedPredicate other)
boolean	LanguageFactory.containsPredicate(GeneralizedPredicate predicate) Checks if the given predicate is contained in this language.
net.sf.tweety.logics.firstorderlogic.syntax.Predicate	TweetyTranslator.fromKreatorPredicate(GeneralizedPredicate predicate, net.sf.tweety.logics.firstorderlogic.syntax.FolSignature language)
P	LogicTranslator.fromKreatorPredicate(GeneralizedPredicate predicate, L language) Creates a foreign logic Predicate of type P from the given KReator GeneralizedPredicate.
boolean	Clause.mentions(GeneralizedPredicate p) Checks whether the given predicate is mentioned in this clause.
void	LanguageFactory.register(GeneralizedPredicate pred)

Method parameters in edu.cs.ai.kreator.logic with type arguments of type GeneralizedPredicate

LanguageFactory

LanguageFactory.getSubLanguage(java.util.Set<Sort> sorts, java.util.Set<Constant> consts, java.util.Set<GeneralizedPredicate> preds, java.util.Set<Functor> functors) Generates a new LanguageFactory which is a subset of this LanguageFactory.

Constructors in edu.cs.ai.kreator.logic with parameters of type GeneralizedPredicate

GeneralizedAtom(GeneralizedPredicate predicate)
Constructs a generalized atom with the given predicate and empty parameter list.

GeneralizedAtom(GeneralizedPredicate predicate, java.util.List<? extends Term> parameters)
Constructs a generalized atom with the given predicate and list of parameters.

Uses of GeneralizedPredicate in edu.cs.ai.kreator.logic.prolog

Methods in edu.cs.ai.kreator.logic.prolog with parameters of type GeneralizedPredicate

boolean

PrologProgram.mentions(GeneralizedPredicate p) Checks whether the given predicate is mentioned in this program.

Uses of GeneralizedPredicate in edu.cs.ai.kreator.models

Methods in edu.cs.ai.kreator.models that return types with arguments of type GeneralizedPredicate

abstract java.util.Set<GeneralizedPredicate>	Knowledgebase.getAppearingPredicates()
java.util.List<GeneralizedPredicate>	Knowledgebase.getPredicates()

Uses of GeneralizedPredicate in edu.cs.ai.kreator.parser.groundatom

Fields in edu.cs.ai.kreator.parser.groundatom declared as GeneralizedPredicate

GeneralizedPredicate

GroundAtomWalker.predicate_return.value

Methods in edu.cs.ai.kreator.parser.groundatom with parameters of type GeneralizedPredicate

java.util.ArrayList<Term>

GroundAtomWalker.arguments(GeneralizedPredicate pred)

Uses of GeneralizedPredicate in edu.cs.ai.kreator.ui.gui.components.controller

Fields in edu.cs.ai.kreator.ui.gui.components.controller declared as GeneralizedPredicate

protected GeneralizedPredicate

QueryPreviewGuideController.predicate reference to the actual selected predicate