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

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
<T extends Term>
java.util.Set<java.util.List<T>>
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)