|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Sort | |
---|---|
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 Sort in edu.cs.ai.kreator.logic |
---|
Methods in edu.cs.ai.kreator.logic that return Sort | |
---|---|
static Sort |
Sort.create(LanguageFactory lang,
java.lang.String name)
Constructs a new sort with the given name. |
static Sort |
Sort.createOrGet(LanguageFactory lang,
java.lang.String name)
Return an already existing sort or, if necessary, constructs a new sort with the given name. |
Sort |
GeneralizedPredicate.getArgSort(int argIndex)
|
Sort |
LanguageFactory.getExistingSort(java.lang.String sortName)
Look for the sort with the given name. |
Sort |
Variable.getSort()
|
abstract Sort |
Term.getSort()
Returns the sort of this term. |
Sort |
Functor.getSort()
|
Sort |
FunctionTerm.getSort()
MT: Add some semantics! |
Sort |
Constant.getSort()
|
Sort |
LanguageFactory.getSortThing()
Returns the "Thing" sort. |
Sort |
Sort.getThing()
The thing sort of this language. |
Sort |
LogicTranslator.toKreatorSort(S sort,
LanguageFactory language)
Creates a KReator Sort from the given foreign language Sort |
Sort |
TweetyTranslator.toKreatorSort(net.sf.tweety.logics.firstorderlogic.syntax.Sort sort,
LanguageFactory language)
|
Methods in edu.cs.ai.kreator.logic that return types with arguments of type Sort | |
---|---|
java.util.List<Sort> |
LanguageFactory.getAllSorts()
Returns a list of all sorts in this language. |
java.util.List<Sort> |
GeneralizedPredicate.getArgSorts()
|
Methods in edu.cs.ai.kreator.logic with parameters of type Sort | |
---|---|
int |
Sort.compareTo(Sort other)
|
boolean |
LanguageFactory.contains(Sort sort)
Checks if the given sort is contained in this language. |
boolean |
LanguageFactory.containsConstant(java.lang.String constantName,
Sort sort)
Checks if a constant with the given name and sort is contained in this language. |
boolean |
VariableFactory.containsVariable(java.lang.String variableName,
Sort sort)
Checks if a variable with the given name and sort is contained in this language. |
static Constant |
Constant.create(LanguageFactory lang,
java.lang.String name,
Sort sort)
Constructs a new constant with the given name and sort. |
static Variable |
Variable.create(VariableFactory varFac,
java.lang.String name,
Sort sort)
Constructs a new variable with the given name and sort. |
static Constant |
Constant.createOrGet(LanguageFactory lang,
java.lang.String name,
Sort sort)
Returns an already existing constant or, if necessary, constructs a new constant with the given name and sort. |
static Variable |
Variable.createOrGet(VariableFactory varFac,
java.lang.String name,
Sort sort)
Returns an already existing variable or, if necessary, constructs a new variable with the given name and sort. |
static Variable |
Variable.createUniqueVariable(VariableFactory varFac,
Sort sort)
Returns a new variable with a unique name of the given sort. |
net.sf.tweety.logics.firstorderlogic.syntax.Sort |
TweetyTranslator.fromKreatorSort(Sort sort,
net.sf.tweety.logics.firstorderlogic.syntax.FolSignature language)
|
S |
LogicTranslator.fromKreatorSort(Sort sort,
L language)
Creates a foreign language Sort of Type S from the given KReator Sort. |
java.util.List<Constant> |
LanguageFactory.getAllConstants(Sort sort)
Returns a list of all constants with the given Sort in this language. |
Method parameters in edu.cs.ai.kreator.logic with type arguments of type Sort | ||
---|---|---|
boolean |
LanguageFactory.containsPredicate(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)
Checks if a predicate with the given name and parameters is contained in this language. |
|
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,
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)
|
|
java.util.Set<java.util.Map<Variable,Constant>> |
LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution,
java.util.Set<Variable> variables,
java.util.Set<MetaConstraint> constraints,
java.util.Map<Sort,java.util.Set<Constant>> additionalConstants)
Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint . |
|
java.util.Set<java.util.Map<Variable,Constant>> |
LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution,
java.util.Set<Variable> variables,
java.util.Map<Sort,java.util.Set<Constant>> additionalConstants)
Completes the given substitution by assigning mappings from all given variables to all possible constants. |
|
static
|
Term.getAllSequences(java.util.List<? extends Sort> sorts,
java.util.Collection<? extends T> terms)
This method computes all sequences [X1,... |
|
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 . |
|
java.util.Set<Clause> |
Clause.unify(Literal literal,
LanguageFactory language,
java.util.Map<Sort,java.util.Set<Constant>> additionalConstants)
This method tries to unify this clause's head with the given literal and returns all possible clauses where all variables are substituted according to this unification and all other possible substitutions. |
Uses of Sort in edu.cs.ai.kreator.logic.prolog |
---|
Method parameters in edu.cs.ai.kreator.logic.prolog with type arguments of type Sort | |
---|---|
java.util.Set<Clause> |
PrologProgram.getClauses(GeneralizedAtom atom,
java.util.Map<Sort,java.util.Set<Constant>> constants)
Returns the set of (instantiated) clauses where the head unifies with given bayesian atom. |
Uses of Sort in edu.cs.ai.kreator.models |
---|
Methods in edu.cs.ai.kreator.models that return types with arguments of type Sort | |
---|---|
java.util.List<Sort> |
Knowledgebase.getSorts()
|
Uses of Sort in edu.cs.ai.kreator.parser.groundatom |
---|
Methods in edu.cs.ai.kreator.parser.groundatom with parameters of type Sort | |
---|---|
Constant |
GroundAtomWalker.constant(Sort sort)
|
Term |
GroundAtomWalker.term(Sort sort)
|
Variable |
GroundAtomWalker.variable(Sort sort)
|
Uses of Sort in edu.cs.ai.kreator.ui.gui.components.controller |
---|
Methods in edu.cs.ai.kreator.ui.gui.components.controller that return Sort | |
---|---|
Sort |
QueryPreviewGuideController.ParameterPair.getType()
|
Constructors in edu.cs.ai.kreator.ui.gui.components.controller with parameters of type Sort | |
---|---|
QueryPreviewGuideController.ParameterPair(Sort type,
Constant value)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |