Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

F

factInstantiation() - Method in class org.tweetyproject.arg.delp.TestRules
 
faculty(int) - Static method in class org.tweetyproject.commons.util.MathTools
Computes the faculty of the given number.
faf(ArgumentSet) - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
The characteristic function of an bipolar argumentation framework: F_AF(S) = {A|A is acceptable wrt.
faf(Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
faf(Extension<SetAf>) - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
FAIR - Enum constant in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement
FAIR
FALSE - Enum constant in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue
false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue
false
FALSE - Enum constant in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue
FALSE
falsifies(PossibleWorld, Conditional) - Static method in class org.tweetyproject.logics.cl.semantics.RankingFunction
Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
falsifies(PriestWorldAdapted, Conditional) - Static method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
Checks whether the given possible world w falsifies the given conditional (B|A), i.e.
FATAL - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel
FATAL
FB - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure
FB
FbInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
Implements the forgetting-based inconsistency measure from [Besnard.
FbInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.FbInconsistencyMeasure
Default Constructor
FbInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test
Some examples from [Besnard.
FbInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.FbInconsistencyMeasureTest
 
FileDungTheoryGenerator - Class in org.tweetyproject.arg.dung.util
This generator receives a list of files containing Dung theories and returns those step by step.
FileDungTheoryGenerator(File[], Parser<DungTheory, ?>, boolean) - Constructor for class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
Creates a new theory generator for the given files, which can be parsed by the given parser.
FileFormat - Enum in org.tweetyproject.arg.dung.parser
This enum lists all supported file formats.
FileListCommandParameter - Class in org.tweetyproject.plugin.parameter
This parameter holds a file-list of possible arguments
FileListCommandParameter(String, String) - Constructor for class org.tweetyproject.plugin.parameter.FileListCommandParameter
Creates a new file list command parameter
filter(ContainerRequestContext, ContainerResponseContext) - Method in class org.tweetyproject.web.CorsResponseFilter
 
findbestNeighbor(ArrayList<ArrayList<ElementOfCombinatoricsProb>>) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearch
Finds and returns the best neighbor solution from a given list of neighbors.
findrandomNeighbor(ArrayList<ArrayList<ElementOfCombinatoricsProb>>) - Method in class org.tweetyproject.math.opt.solver.StochasticLocalSearch
Finds and returns a random neighbor solution from a given list of neighbors.
fire() - Method in class org.tweetyproject.logics.petri.syntax.Ark
Fire this ark and conduct respective token propagations
fire() - Method in class org.tweetyproject.logics.petri.syntax.Transition
fire this transition, which means firing all incoming and all outgoing arks
fire(Transition) - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
Fire
fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
 
first - Variable in class org.tweetyproject.arg.adf.util.Pair
first
FirstOrderLogicPlugin - Class in org.tweetyproject.logics.fol.plugin
This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.
FirstOrderLogicPlugin() - Constructor for class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
actually used constructor, initializes start parameters for this plugin
FirstOrderLogicPlugin(String[]) - Constructor for class org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
non-empty constructor in case of problems concerning jspf
FitnessComparator(CombinatoricsProblem) - Constructor for class org.tweetyproject.math.opt.solver.SimpleGeneticOptimizationSolverCombinatorics.FitnessComparator
Constructor
FixedPolicy<S,A> - Class in org.tweetyproject.machinelearning.rl.mdp
A fixed policy for MDPs, i.e., a simple map from states to actions.
FixedPolicy() - Constructor for class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy
Creates a new fixed policy
FixPartialSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
Fixes the already assigned true/false values.
FixPartialSatEncoding(PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.FixPartialSatEncoding
 
FixPartialTransformer - Class in org.tweetyproject.arg.adf.transform
Syntactically rewrites the acceptance condition s.t.
FixPartialTransformer(Interpretation) - Constructor for class org.tweetyproject.arg.adf.transform.FixPartialTransformer
 
FlatAbaReasoner<T> - Class in org.tweetyproject.arg.aba.reasoner
This class models a reasoner over ABA formulae.
FlatAbaReasoner(Semantics) - Constructor for class org.tweetyproject.arg.aba.reasoner.FlatAbaReasoner
Creates a new instance
flatten() - Method in class org.tweetyproject.arg.extended.syntax.ExtendedTheory
Transforms the extended theory into a standard dung theory by flattening the extended attacks via creating meta-arguments
FlattenBasedExtendedExtensionReasoner - Class in org.tweetyproject.arg.extended.reasoner
General reasoner for extended theories that computes extended by flattening and then computing the AF extensions
FlattenBasedExtendedExtensionReasoner(AbstractExtensionReasoner) - Constructor for class org.tweetyproject.arg.extended.reasoner.FlattenBasedExtendedExtensionReasoner
Initialize new reasoner for the given AF reasoner
FlattenBasedExtendedExtensionReasoner(Semantics) - Constructor for class org.tweetyproject.arg.extended.reasoner.FlattenBasedExtendedExtensionReasoner
Initialize new reasoner for the given semantics
FloatConstant - Class in org.tweetyproject.math.term
This class encapsulates a float as a term.
FloatConstant(double) - Constructor for class org.tweetyproject.math.term.FloatConstant
Creates a new Float.
FloatConstant(float) - Constructor for class org.tweetyproject.math.term.FloatConstant
Creates a new Float.
floatValue() - Method in class org.tweetyproject.math.ComplexNumber
 
floatValue() - Method in class org.tweetyproject.math.probability.Probability
 
FloatVariable - Class in org.tweetyproject.math.term
This class models an float variable as a mathematical term.
FloatVariable(String) - Constructor for class org.tweetyproject.math.term.FloatVariable
Creates a new variable with the given name.
FloatVariable(String, boolean) - Constructor for class org.tweetyproject.math.term.FloatVariable
Creates a new variable with the given name.
FloatVariable(String, double, double) - Constructor for class org.tweetyproject.math.term.FloatVariable
Creates a new variable with the given name and bounds.
FolAction - Class in org.tweetyproject.action.signature
An action is a truth-valued function on the set of action names, which is denoted by the set of actions which are mapped to 'true'.
FolAction() - Constructor for class org.tweetyproject.action.signature.FolAction
Creates a new action, which maps all action names to false.
FolAction(Set<FolAtom>) - Constructor for class org.tweetyproject.action.signature.FolAction
Creates a new action, which maps the given action names to true, and every thing else to false.
FolActionName - Class in org.tweetyproject.action.signature
This class represents an action name.
FolActionName(String) - Constructor for class org.tweetyproject.action.signature.FolActionName
Creates a new action name predicate with the given name and zero-arity.
FolActionName(String, int) - Constructor for class org.tweetyproject.action.signature.FolActionName
Creates a new actionname predicate with the given name and arity.
FolActionName(String, List<Sort>) - Constructor for class org.tweetyproject.action.signature.FolActionName
Creates a new actionname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.
FolAtom - Class in org.tweetyproject.logics.fol.syntax
An atom in first-order logic, i.e.
FolAtom() - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
Default-Ctor: Creates new empty FOL-Atom
FolAtom(Predicate) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
Creates a new atom with the given predicate and initializes an empty argument list.
FolAtom(Predicate, List<? extends Term<?>>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
Creates a new atom with the given predicate and list of terms
FolAtom(Predicate, Term<?>...) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
constructs FolAtom
FolAtom(FolAtom) - Constructor for class org.tweetyproject.logics.fol.syntax.FolAtom
Constructor
FolBeliefSet - Class in org.tweetyproject.logics.fol.syntax
This class models a first-order knowledge base, i.e.
FolBeliefSet() - Constructor for class org.tweetyproject.logics.fol.syntax.FolBeliefSet
Creates a new and empty first-order knowledge base.
FolBeliefSet(Collection<FolFormula>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolBeliefSet
Creates a new first-order knowledge base with the given set of formulas.
FolExample - Class in org.tweetyproject.logics.fol.examples
Some examples for using FolParser and provers.
FolExample() - Constructor for class org.tweetyproject.logics.fol.examples.FolExample
Constructor
FolFluentName - Class in org.tweetyproject.action.signature
This class represents a fluent name.
FolFluentName(String) - Constructor for class org.tweetyproject.action.signature.FolFluentName
Creates a new folfluentname predicate with the given name and zero-arity.
FolFluentName(String, int) - Constructor for class org.tweetyproject.action.signature.FolFluentName
Creates a new folfluentname with the given name and arity.
FolFluentName(String, List<Sort>) - Constructor for class org.tweetyproject.action.signature.FolFluentName
Creates a new fluentname predicate with the given name and a list of argument sorts, whose element count equals the arity of this predicate.
FolFormula - Class in org.tweetyproject.logics.fol.syntax
The common abstract class for formulas of first-order logic.
FolFormula() - Constructor for class org.tweetyproject.logics.fol.syntax.FolFormula
Default
FolFormulaGenerator - Class in org.tweetyproject.arg.aspic.ruleformulagenerator
Implements RuleFormulaGenerator for first order logic.
FolFormulaGenerator() - Constructor for class org.tweetyproject.arg.aspic.ruleformulagenerator.FolFormulaGenerator
 
FolParser - Class in org.tweetyproject.logics.fol.parser
This class implements a parser for first-order logic.
FolParser() - Constructor for class org.tweetyproject.logics.fol.parser.FolParser
Creates a new FolParser
FolParser(boolean) - Constructor for class org.tweetyproject.logics.fol.parser.FolParser
Creates a new FolParser
FolParserTest - Class in org.tweetyproject.logics.fol.test
JUnit Test class for FolParser.
FolParserTest() - Constructor for class org.tweetyproject.logics.fol.test.FolParserTest
 
FolParserTest() - Method in class org.tweetyproject.arg.aba.AbaTest
 
FOLPropTranslator - Class in org.tweetyproject.logics.translators.folprop
A Translator between the FOL and propositonal logic and vice versa.
FOLPropTranslator() - Constructor for class org.tweetyproject.logics.translators.folprop.FOLPropTranslator
Default-Ctor
FolReasoner - Class in org.tweetyproject.logics.fol.reasoner
Abstract FOL Prover to be implemented by concrete solvers.
FolReasoner() - Constructor for class org.tweetyproject.logics.fol.reasoner.FolReasoner
Deafult
FolSignature - Class in org.tweetyproject.logics.fol.syntax
This class captures the signature of a specific first-order language.
FolSignature() - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature
Creates an empty signature
FolSignature(boolean) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature
Creates an empty signature or an otherwise empty signature with equality.
FolSignature(Collection<?>) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature
Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas).
FolSignature(Collection<?>, boolean) - Constructor for class org.tweetyproject.logics.fol.syntax.FolSignature
Creates a signature with the given objects (should be sorts, constants, predicates, functors, or formulas) and, if desired, equality.
FolWriter - Interface in org.tweetyproject.logics.fol.writer
Prints out single first-order logic formulas and full knowledge bases.
forAll() - Method in interface org.tweetyproject.arg.adf.reasoner.query.ConditionalTaskStep
Return forAll
ForallQuantifiedFormula - Class in org.tweetyproject.logics.fol.syntax
For-All-quantified first-order logic formula.
ForallQuantifiedFormula - Class in org.tweetyproject.logics.qbf.syntax
This class represents universal quantification for boolean formulas.
ForallQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
Creates a new quantified folFormula with the given folFormula and variables.
ForallQuantifiedFormula(RelationalFormula, Variable) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
Creates a new quantified folFormula with the given folFormula and variable.
ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula
Creates a new quantified folFormula
ForallQuantifiedFormula(PlFormula, Set<Proposition>) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
Create a new universal boolean quantification.
ForallQuantifiedFormula(PlFormula, Proposition) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
Create a new universal boolean quantification.
ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
Create a new existential boolean quantification.
FORALLQUANTIFIER() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols
Returns the symbol for the universal quantifier.
forceStrictness(Set<PlFormula>) - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction
Sets the rank of every interpretation i that does not satisfy the given set of formulas to RankingFunction.INFINITY.
forceStrictness(Set<PlFormula>) - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued
Sets the rank of every interpretation i that does not satisfy the given set of formulas to RankingFunction.INFINITY.
format(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyPost
Sets the format of the data to be analyzed and returns this instance for method chaining.
format(String) - Method in class org.tweetyproject.web.services.incmes.InconsistencyValueResponse
Sets the data format used in the inconsistency evaluation and returns this response object for method chaining.
formNeighborhood(ArrayList<ElementOfCombinatoricsProb>, int, int, double) - Method in class org.tweetyproject.math.opt.problem.CombinatoricsProblem
Return neighborhood
Formula - Interface in org.tweetyproject.commons
A formula is a basic language construct.
Formula(FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser
Parses a formula from the given signature.
FormulaSampler<T> - Class in org.tweetyproject.commons
This abstract class models a sampler for formulas.
FormulaSampler(Signature) - Constructor for class org.tweetyproject.commons.FormulaSampler
Creates a new formula sampler for the given signature.
FormulaStream<S> - Interface in org.tweetyproject.commons.streams
This interface models a stream on formulas.
FoundedPASemantics - Class in org.tweetyproject.arg.prob.semantics
P is founded wrt.
FoundedPASemantics() - Constructor for class org.tweetyproject.arg.prob.semantics.FoundedPASemantics
Default
FourValuedWorld - Class in org.tweetyproject.logics.translators.adfconditional
This class models a four-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the four truth values: TRUE, FALSE, UNDECIDED, INCONSISTENT
FourValuedWorld() - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
Creates an empty 4-valued world
FourValuedWorld(FourValuedWorld) - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
Creates a new world which is a copy of the given world
FourValuedWorld.TruthValue - Enum in org.tweetyproject.logics.translators.adfconditional
Truth values
FourValuedWorldIterator - Class in org.tweetyproject.logics.translators.adfconditional
This class iterates over all 4-valued interpretations of a given signature.
FourValuedWorldIterator() - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
FourValuedWorldIterator
FourValuedWorldIterator(PlSignature) - Constructor for class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
Creates new iterator for the given signature.
FpGrowthExample - Class in org.tweetyproject.machinelearning.examples
An example demonstrating the use of the FP-Growth algorithm for mining frequent patterns from a dataset of transactions.
FpGrowthExample() - Constructor for class org.tweetyproject.machinelearning.examples.FpGrowthExample
Default Constructor
FpGrowthMiner<T> - Class in org.tweetyproject.machinelearning.assoc
Implements the FP-Growth Algorithm for frequent pattern mining, cf.
FpGrowthMiner(double) - Constructor for class org.tweetyproject.machinelearning.assoc.FpGrowthMiner
Creates a new FPGrowth miner with the given minimum support value.
FracAggrFunction - Class in org.tweetyproject.math.func
This is the function 1-\sum_i (1-x_i/i) used e.g in [Mu,Liu,Jin, Bell.
FracAggrFunction() - Constructor for class org.tweetyproject.math.func.FracAggrFunction
Constructor
Fraction - Class in org.tweetyproject.math.term
Instances of this class represent fractions of two terms.
Fraction(Term, Term) - Constructor for class org.tweetyproject.math.term.Fraction
Creates a new fraction of the two given terms.
FractionSequenceFunction - Class in org.tweetyproject.math.func
The function 1/x.
FractionSequenceFunction() - Constructor for class org.tweetyproject.math.func.FractionSequenceFunction
Constructor
frameworkSize - Static variable in class GroundedTest
 
frameworkSize - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest
The size of the argumentation framework in the simulation.
frameworkSize - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest
The size of the argumentation framework being used in the simulation.
FREEFORMULADILUTION - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The FREEFORMULADILUTION postulate
FREEFORMULAINDEPENDENCE - Static variable in class org.tweetyproject.logics.pl.postulates.ImPostulate
The FREEFORMULAINDEPENDENCE postulate
FrequentPatternMiner<T> - Interface in org.tweetyproject.machinelearning.assoc
Interface for algorithms mining frequent patterns from transaction databases.
FrequentPatternTree<T> - Class in org.tweetyproject.machinelearning.assoc
Implements the an FP-Tree for the FP-Growth Algorithm for frequent pattern mining, cf.
FrequentPatternTree(Collection<Collection<T>>, double) - Constructor for class org.tweetyproject.machinelearning.assoc.FrequentPatternTree
Creates an FP-Tree for the given database with the given minimal support.
FrequentPatternTree.FrequentPatternTreeNode<S> - Class in org.tweetyproject.machinelearning.assoc
a node of the tree
FrequentPatternTreeNode(S, int, FrequentPatternTree.FrequentPatternTreeNode<S>) - Constructor for class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode
Creates a new tree node for the given item with the given frequency of the path up to this item.
fromFile(File) - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Reads an AbstractDialecticalFramework from a file.
fromMap(Map<Argument, Boolean>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
fromMap(Map<Argument, AcceptanceCondition>) - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Creates a builder from a map of arguments and their corresponding acceptance conditions.
fromSets(Set<Argument>, Set<Argument>, Set<Argument>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
fromSets(Set<Argument>, Set<Argument>, AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Interpretation fromSets
fromWitness(Set<Literal>, PropositionalMapping) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.
FudgeAcceptabilityReasoner - Class in org.tweetyproject.arg.dung.reasoner
Implements the Fudge approach to determine the set of acceptable arguments of an AF wrt.
FudgeAcceptabilityReasoner(DimacsSatSolver) - Constructor for class org.tweetyproject.arg.dung.reasoner.FudgeAcceptabilityReasoner
Creates a new FudgeAcceptabilityReasoner.
fullString() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue
Get the full string.
func - Variable in class org.tweetyproject.lp.asp.parser.ASTAggregate
The aggregate function to be applied (e.g., "SUM", "COUNT").
func - Variable in class org.tweetyproject.lp.asp.parser.ASTAggrFunc
func
func - Variable in class org.tweetyproject.lp.asp.parser.ASTOptFunc
The name or representation of the optimization function.
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTAggregate
Sets the aggregate function.
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTAggrFunc
setter func
func(String) - Method in class org.tweetyproject.lp.asp.parser.ASTOptFunc
Sets the name or representation of the optimization function.
FunctionalTerm - Class in org.tweetyproject.logics.commons.syntax
A functional term in a logic language, i.e.
FunctionalTerm - Class in org.tweetyproject.math.term
Instances of this class represent a functional term on some inner term.
FunctionalTerm(FunctionalTerm) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
Constructs a new FunctionalTerm by copying the contents of another FunctionalTerm.
FunctionalTerm(Functor) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
Creates a new functional term with the given functor.
FunctionalTerm(Functor, List<Term<?>>) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
Creates a new functional term with the given functor and the given list of arguments.
FunctionalTerm(Functor, Term<?>...) - Constructor for class org.tweetyproject.logics.commons.syntax.FunctionalTerm
Constructs a new FunctionalTerm with the specified functor and arguments.
FunctionalTerm(Term) - Constructor for class org.tweetyproject.math.term.FunctionalTerm
Creates a new functional term with the given inner term.
Functions<T> - Class in org.tweetyproject.preferences.ranking
An abstract class as superclass for two different ranking/leveling functions used to rank elements from preference orders
Functions() - Constructor for class org.tweetyproject.preferences.ranking.Functions
Default Constructor
Functor - Class in org.tweetyproject.logics.commons.syntax
A functor for logic language, i.e.
Functor(String) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor
Initializes a functor of arity zero with the given name; the target sort is initialized to Sort.THING.
Functor(String, int) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor
Initializes a functor with the given name and of the given arity.
Functor(String, List<Sort>, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.Functor
Initializes a functor with the given name, the given list of argument sorts, and the given target sort.
FuzzyInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis
This measure implements the approach presented in [Thimm, Measuring Inconsistency with Many-Valued Logics.
FuzzyInconsistencyMeasure(TNorm) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
Creates a new measure for the given T-norm.
FuzzyInconsistencyMeasure(TNorm, byte) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
Creates a new measure for the given T-norm.
FuzzyInconsistencyMeasure(TNorm, TCoNorm) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
Creates a new measure (T Version) for the given T-norm and T-conorm.
FuzzyInconsistencyMeasure(TNorm, TCoNorm, byte) - Constructor for class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure
Creates a new measure for the given T-norm and T-conorm.
FuzzyInconsistencyMeasureTest - Class in org.tweetyproject.logics.pl.test
 
FuzzyInconsistencyMeasureTest() - Constructor for class org.tweetyproject.logics.pl.test.FuzzyInconsistencyMeasureTest
 
FuzzyInterpretation - Class in org.tweetyproject.logics.pl.semantics
A fuzzy interpretation for propositional logic.
FuzzyInterpretation() - Constructor for class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation
Creates a new fuzzy interpretation
FuzzyMeasureExample - Class in org.tweetyproject.logics.pl.examples
Example code illustrating fuzzy logic-based inconsistency measures.
FuzzyMeasureExample() - Constructor for class org.tweetyproject.logics.pl.examples.FuzzyMeasureExample
Default Constructor
FuzzyNegation - Class in org.tweetyproject.math.func.fuzzy
Represents a fuzzy negation, i.e., a generalization of a logical negation on values in [0,1].
FuzzyNegation() - Constructor for class org.tweetyproject.math.func.fuzzy.FuzzyNegation
Constructor
FuzzySemiring - Class in org.tweetyproject.math.algebra
This class represents a Fuzzy Semiring, where elements are interpreted as degrees of truth in the range [0.0, 1.0].The multiplication operation corresponds to finding the minimum of two weights, while the addition operation corresponds to finding the maximum, 0.0 represents the additive identity, and 1.0 represents the multiplicative identity.
FuzzySemiring() - Constructor for class org.tweetyproject.math.algebra.FuzzySemiring
Constructs a FuzzySemiring instance.
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form