- f - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
-
The function that is maximized on the set of probabilistic extensions with minimal distance.
- f - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
-
- f - Variable in class net.sf.tweety.math.term.FloatConstant
-
the actual float.
- factInstantiation() - Method in class net.sf.tweety.arg.delp.TestRules
-
- faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent
-
The faction of the agent.
- faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
-
The faction of this utility function
- faction - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
-
The faction of the agents to be generated
- factor - Variable in class net.sf.tweety.math.func.SmoothingFunction
-
The smoothing factor.
- Factory() - Constructor for enum net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Factory
-
- facts - Variable in class net.sf.tweety.logics.rdl.DefaultTheory
-
The set of facts (first-order formulas).
- faculty(int) - Static method in class net.sf.tweety.commons.util.MathTools
-
Computes the faculty of the given number.
- faf(Extension) - Method in class net.sf.tweety.arg.dung.DungTheory
-
The characteristic function of an abstract argumentation framework: F_AF(S) = {A|A is acceptable wrt.
- falsifies(PossibleWorld, Conditional) - Static method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Checks whether the given possible world w falsifies the given
conditional (B|A), i.e.
- falsifyingWorlds - Variable in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
-
- fastEvaluation - Variable in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder
-
if this flag is true the building of the kappa minimas breaks at the first zero
- FbInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
-
Implements the forgetting-based inconsistency measure from
[Besnard.
- FbInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
-
- FbInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test
-
Some examples from
[Besnard.
- FbInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.FbInconsistencyMeasureTest
-
- fields - Variable in class net.sf.tweety.plugin.PluginOutput
-
- file - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
-
The file where the results are stored.
- FileDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util
-
This generator receives a list of files containing Dung theories
and returns those step by step.
- FileDungTheoryGenerator(File[], Parser<DungTheory>) - Constructor for class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
-
Creates a new theory generator for the given files, which
can be parsed by the given parser.
- FileFormat - Enum in net.sf.tweety.arg.dung.parser
-
This enum lists all supported file formats.
- FileFormat(String, String) - Constructor for enum net.sf.tweety.arg.dung.parser.FileFormat
-
Creates a new FileFormat
- fileHandler - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter
-
the default file handler cannot load any files and has to be replaced
- fileHandler - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter
-
the default file handler cannot load any files and has to be replaced
- FileListCommandParameter - Class in net.sf.tweety.plugin.parameter
-
This parameter holds a file-list of possible arguments
- FileListCommandParameter(String, String) - Constructor for class net.sf.tweety.plugin.parameter.FileListCommandParameter
-
- files - Variable in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
-
The files containing Dung theories.
- FillBuff() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
-
- FillBuff() - Static method in class net.sf.tweety.arg.dung.parser.SimpleCharStream
-
- FillBuff() - Method in class net.sf.tweety.logics.fol.parser.SimpleCharStream
-
- FillBuff() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
-
- FillBuff() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
-
- FillBuff() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
-
- FillBuff() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
-
- filter(ArrayList<PropositionalFormula>, ClBeliefSet) - Method in class net.sf.tweety.logics.cl.BruteForceCReasoner
-
- filter(ContainerRequestContext, ContainerResponseContext) - Method in class net.sf.tweety.web.CorsResponseFilter
-
- fireEvent(UpdateEvent<T>) - Method in class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
-
Fires an event every time a change occurred
- fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
- fireInconsistencyMeasurementStartedEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
-
This method is called by inconsistency measurement processes to dispatch
an event about inconsistency measurement starts to listeners.
- fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
-
- fireInconsistencyUpdateEvent(InconsistencyUpdateEvent) - Method in class net.sf.tweety.logics.commons.analysis.streams.StreamBasedInconsistencyMeasure
-
This method is called by inconsistency measurement processes to dispatch
events to listeners.
- first - Variable in class net.sf.tweety.action.grounding.VarsNeqRequirement
-
- first - Variable in class net.sf.tweety.logics.fol.parser.FolParserB.JJCalls
-
- first - Variable in class net.sf.tweety.lp.asp.parser.ASPParser.JJCalls
-
- first - Variable in class net.sf.tweety.math.term.Difference
-
The two terms of the difference
- FIRST_OPTIMIZATION_WEIGHT - Static variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
-
Optimizations carried out by ancestors of this class perform a two-level optimization.
- firstLevel(DeductiveArgument) - Method in class net.sf.tweety.arg.deductive.semantics.Compilation
-
This method returns the compilation nodes that can be used
to construct undercuts to the given argument.
- FirstOrderLogicPlugin - Class in net.sf.tweety.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(String[]) - Constructor for class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
non-empty constructor in case of problems concerning jspf
- FirstOrderLogicPlugin() - Constructor for class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
actually used constructor, initializes start parameters for this plugin
- FitnessComparator(Term) - Constructor for class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator
-
- FlatABAReasoner - Class in net.sf.tweety.arg.aba
-
- FlatABAReasoner(BeliefBase, Semantics, int) - Constructor for class net.sf.tweety.arg.aba.FlatABAReasoner
-
Creates a new instance
- FloatConstant - Class in net.sf.tweety.math.term
-
This class encapsulates a float as a term.
- FloatConstant(float) - Constructor for class net.sf.tweety.math.term.FloatConstant
-
Creates a new Float.
- FloatConstant(double) - Constructor for class net.sf.tweety.math.term.FloatConstant
-
Creates a new Float.
- floatValue() - Method in class net.sf.tweety.math.ComplexNumber
-
- floatValue() - Method in class net.sf.tweety.math.probability.Probability
-
- FloatVariable - Class in net.sf.tweety.math.term
-
This class models an float variable as a mathematical term.
- FloatVariable(String) - Constructor for class net.sf.tweety.math.term.FloatVariable
-
Creates a new variable with the given name.
- FloatVariable(String, boolean) - Constructor for class net.sf.tweety.math.term.FloatVariable
-
Creates a new variable with the given name.
- FloatVariable(String, double, double) - Constructor for class net.sf.tweety.math.term.FloatVariable
-
Creates a new variable with the given name and bounds.
- FluentName - Interface in net.sf.tweety.action
-
A basic interface representing a fluent name.
- fluents - Variable in class net.sf.tweety.action.transitionsystem.State
-
- focalElement - Variable in class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction
-
The focal element of this function.
- focalElement - Variable in class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
-
The focal element of this agent.
- focalSet - Variable in class net.sf.tweety.agents.dialogues.structured.CountingUtilityFunction
-
The focal set of this function.
- focalSet - Variable in class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction
-
The focal set of this function.
- fol2pl - Variable in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
-
- FOL_FLIES_TINA - Static variable in class net.sf.tweety.arg.delp.TestArguments
-
- FOL_NOT_FLIES_TINA - Static variable in class net.sf.tweety.arg.delp.TestArguments
-
- FolAction - Class in net.sf.tweety.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 net.sf.tweety.action.signature.FolAction
-
Creates a new action, which maps all action names to false.
- FolAction(Set<FOLAtom>) - Constructor for class net.sf.tweety.action.signature.FolAction
-
Creates a new action, which maps the given action names to true, and every
thing else to false.
- FolActionName - Class in net.sf.tweety.action.signature
-
This class represents an action name.
- FolActionName(String, int) - Constructor for class net.sf.tweety.action.signature.FolActionName
-
Creates a new actionname predicate with the given name and arity.
- FolActionName(String, List<Sort>) - Constructor for class net.sf.tweety.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.
- FolActionName(String) - Constructor for class net.sf.tweety.action.signature.FolActionName
-
Creates a new action name predicate with the given name and zero-arity.
- FOLAtom - Class in net.sf.tweety.logics.fol.syntax
-
An atom in first-order logic, i.e.
- FOLAtom() - Constructor for class net.sf.tweety.logics.fol.syntax.FOLAtom
-
Default-Ctor: Creates new empty FOL-Atom
- FOLAtom(Predicate) - Constructor for class net.sf.tweety.logics.fol.syntax.FOLAtom
-
Creates a new atom with the given predicate and initializes
an empty argument list.
- FOLAtom(Predicate, Term<?>...) - Constructor for class net.sf.tweety.logics.fol.syntax.FOLAtom
-
- FOLAtom(Predicate, List<? extends Term<?>>) - Constructor for class net.sf.tweety.logics.fol.syntax.FOLAtom
-
Creates a new atom with the given predicate and list of
terms
- FOLAtom(FOLAtom) - Constructor for class net.sf.tweety.logics.fol.syntax.FOLAtom
-
- FolBeliefSet - Class in net.sf.tweety.logics.fol
-
This class models a first-order knowledge base, i.e.
- FolBeliefSet() - Constructor for class net.sf.tweety.logics.fol.FolBeliefSet
-
Creates a new and empty first-order knowledge base.
- FolBeliefSet(Set<FolFormula>) - Constructor for class net.sf.tweety.logics.fol.FolBeliefSet
-
Creates a new first-order knowledge base with the given set of formulas.
- fold - Variable in class net.sf.tweety.machinelearning.CrossValidator
-
The number of partitions for cross-validation.
- folfg - Variable in class net.sf.tweety.arg.aspic.AspicTest
-
- FolFluentName - Class in net.sf.tweety.action.signature
-
This class represents a fluent name.
- FolFluentName(String, int) - Constructor for class net.sf.tweety.action.signature.FolFluentName
-
Creates a new folfluentname with the given name and arity.
- FolFluentName(String, List<Sort>) - Constructor for class net.sf.tweety.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.
- FolFluentName(String) - Constructor for class net.sf.tweety.action.signature.FolFluentName
-
Creates a new folfluentname predicate with the given name and zero-arity.
- FolFormula - Class in net.sf.tweety.logics.fol.syntax
-
The common abstract class for formulas of first-order logic.
- FolFormula() - Constructor for class net.sf.tweety.logics.fol.syntax.FolFormula
-
- folFormula - Variable in class net.sf.tweety.logics.fol.syntax.Negation
-
- folFormula - Variable in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula
-
The folFormula this quantified folFormula ranges over.
- FolFormulaGenerator - Class in net.sf.tweety.arg.aspic.ruleformulagenerator
-
- FolFormulaGenerator() - Constructor for class net.sf.tweety.arg.aspic.ruleformulagenerator.FolFormulaGenerator
-
- FolFormulaGeneratorTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
-
- FolLanguage - Class in net.sf.tweety.logics.fol.lang
-
This class models a first-order language for a given signature.
- FolLanguage(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguage
-
Creates a new language on the given first-order signature.
- FolLanguageNoFunctions - Class in net.sf.tweety.logics.fol.lang
-
This class models a first-order language without functions.
- FolLanguageNoFunctions(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguageNoFunctions
-
Creates a new language on the given signature.
- FolLanguageNoFunctionsOnlyBeginForall - Class in net.sf.tweety.logics.fol.lang
-
This class models a first-order language without functions and there may be
only forall-quantifiers at the beginning of the formula.
- FolLanguageNoFunctionsOnlyBeginForall(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguageNoFunctionsOnlyBeginForall
-
Creates a new language on the given signature.
- FolLanguageNoQuantifiers - Class in net.sf.tweety.logics.fol.lang
-
This class models a first-order language without quantifiers.
- FolLanguageNoQuantifiers(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiers
-
Creates a new language on the given signature.
- FolLanguageNoQuantifiersNoFunctions - Class in net.sf.tweety.logics.fol.lang
-
This class models a first-order language without quantifiers and without functions.
- FolLanguageNoQuantifiersNoFunctions(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguageNoQuantifiersNoFunctions
-
Creates a new language on the given signature.
- FolLanguagePropositional - Class in net.sf.tweety.logics.fol.lang
-
This class represents a classical propositional language, i.e.
- FolLanguagePropositional(Signature) - Constructor for class net.sf.tweety.logics.fol.lang.FolLanguagePropositional
-
Creates a new language on the given signature.
- FOLOGIC__CALL_PARAMETER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FOLOGIC__QUERY_DESCRIPTION - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FOLOGIC__QUERY_IDENTIFIER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FOLOGIC__REASONER_DESCRIPTION - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FOLOGIC__REASONER_IDENTIFIER - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FOLOGIC__REASONER_SOLVERENUM - Static variable in class net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin
-
- FolParser - Class in net.sf.tweety.logics.fol.parser
-
This class implements a parser for first-order logic.
- FolParser() - Constructor for class net.sf.tweety.logics.fol.parser.FolParser
-
- folParser - Variable in class net.sf.tweety.logics.rcl.parser.RclParser
-
For parsing FOL fragments.
- folparser - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
-
parser to parse knowledge base
- folParser - Variable in class net.sf.tweety.logics.rpcl.parser.RpclParser
-
For parsing FOL fragments.
- folParser - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
-
- FolParserB - Class in net.sf.tweety.logics.fol.parser
-
- FolParserB(InputStream) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserB
-
Constructor with InputStream.
- FolParserB(InputStream, String) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserB
-
Constructor with InputStream and supplied encoding
- FolParserB(Reader) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserB
-
Constructor.
- FolParserB(FolParserBTokenManager) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserB
-
Constructor with generated Token Manager.
- FolParserB.JJCalls - Class in net.sf.tweety.logics.fol.parser
-
- FolParserB.LookaheadSuccess - Error in net.sf.tweety.logics.fol.parser
-
- FolParserBConstants - Interface in net.sf.tweety.logics.fol.parser
-
Token literal values and constants.
- FolParserBTokenManager - Class in net.sf.tweety.logics.fol.parser
-
- FolParserBTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
-
Constructor.
- FolParserBTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.logics.fol.parser.FolParserBTokenManager
-
Constructor.
- FOLPropTranslator - Class in net.sf.tweety.logics.translators.folprop
-
A Translator between the FOL and propositonal logic and vice versa.
- FOLPropTranslator() - Constructor for class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
-
Default-Ctor
- FolSignature - Class in net.sf.tweety.logics.fol.syntax
-
This class captures the signature of a specific
first-order language.
- FolSignature() - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature
-
Creates an empty signature
- FolSignature(Collection<?>) - Constructor for class net.sf.tweety.logics.fol.syntax.FolSignature
-
Creates a signature with the given objects (should be sorts, constants,
predicates, functors, or formulas).
- FolTest - Class in net.sf.tweety.logics.fol.test
-
- FolTest() - Constructor for class net.sf.tweety.logics.fol.test.FolTest
-
- FolTheoremProver - Class in net.sf.tweety.logics.fol.prover
-
Abstract FOL Prover to be implemented by concrete solvers
- FolTheoremProver() - Constructor for class net.sf.tweety.logics.fol.prover.FolTheoremProver
-
- FolWriter - Interface in net.sf.tweety.logics.fol.writer
-
Prints out single fol formulas and full knowledge bases
- FORALL - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
-
RegularExpression Id.
- FORALL_QUANTIFIER - Static variable in class net.sf.tweety.logics.fol.parser.FolParser
-
forall-quantifier used in syntax
- ForallQuantifiedFormula - Class in net.sf.tweety.logics.fol.syntax
-
For-All quantified formula.
- ForallQuantifiedFormula(RelationalFormula, Set<Variable>) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
-
Creates a new for-all-quantified formula with the given formula and variables.
- ForallQuantifiedFormula(FolFormula, Variable) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
-
Creates a new for-all-quantified formula with the given formula and variable.
- ForallQuantifiedFormula(ForallQuantifiedFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
-
- FORALLQUANTIFIER() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
-
- forceDefinitions - Variable in class net.sf.tweety.logics.fol.parser.FolParserB
-
- forceStrictness(Set<PropositionalFormula>) - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
-
Sets the rank of every interpretation i that does not satisfy
the given set of formulas to RankingFunction.INFINITY.
- Format(String, String) - Constructor for enum net.sf.tweety.logics.pl.parser.PlParserFactory.Format
-
- formula - Variable in class net.sf.tweety.action.query.syntax.QueryProposition
-
- formula - Variable in class net.sf.tweety.action.query.syntax.SActionQuery
-
- formula - Variable in class net.sf.tweety.arg.aba.syntax.Negation
-
not
=
- Formula(FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
-
- formula - Variable in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
-
The formula within this negation.
- formula - Variable in class net.sf.tweety.beliefdynamics.mas.InformationObject
-
The formula of this information object
- Formula - Interface in net.sf.tweety.commons
-
A formula is a basic language construct.
- formula - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess.UpdateCallee
-
- formula - Variable in class net.sf.tweety.logics.el.syntax.ModalFormula
-
The inner formula of this modal formula
- formula(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
-
- formula - Variable in class net.sf.tweety.logics.ml.syntax.MlnFormula
-
the first-order formula.
- formula - Variable in class net.sf.tweety.logics.pl.syntax.Negation
-
The formula within this negation.
- formula2String(PropositionalFormula, Map<Proposition, Integer>) - Static method in class net.sf.tweety.logics.pl.util.CanonicalEnumerator
-
Encodes the given formula as a bitstring.
- formulaex(FolSignature) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
-
- formulaLength - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingPlBeliefSetSampler
-
the maximal length of each formula (each proposition, negation, conjunction, and
disjunction counts one).
- formulaparser - Variable in class net.sf.tweety.arg.aba.parser.ABAParser
-
Used to parse formulae
- formulaparser - Variable in class net.sf.tweety.arg.aspic.parser.AspicParser
-
Used to parse formulae
- formulas - Variable in class net.sf.tweety.beliefdynamics.mas.AbstractCredibilityComparer
-
The information objects that hold the information which agents
uttered the formulas.
- formulas - Variable in class net.sf.tweety.commons.BeliefSet
-
The set of formulas of this belief base.
- formulas - Variable in class net.sf.tweety.commons.InterpretationSet
-
The set of formulas of this interpretation.
- formulas - Variable in class net.sf.tweety.commons.SetSignature
-
- formulas - Variable in class net.sf.tweety.commons.streams.DefaultFormulaStream
-
The collection of formulas.
- formulas - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
the current window of formulas
- formulas - Variable in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
-
the set of formulas
- FormulaSampler<T extends Formula> - Class in net.sf.tweety.commons
-
This abstract class models a sampler for formulas.
- FormulaSampler(Signature) - Constructor for class net.sf.tweety.commons.FormulaSampler
-
Creates a new formula sampler for the given
signature.
- formulasGenerated - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingPlBeliefSetSampler
-
Whether the formulas have already been generated.
- FormulaStream<S extends Formula> - Interface in net.sf.tweety.commons.streams
-
This interface models a stream on formulas.
- FoundedPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is founded wrt.
- FoundedPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.FoundedPASemantics
-
- FracAggrFunction - Class in net.sf.tweety.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 net.sf.tweety.math.func.FracAggrFunction
-
- Fraction - Class in net.sf.tweety.math.term
-
Instances of this class represent fractions of two terms.
- Fraction(Term, Term) - Constructor for class net.sf.tweety.math.term.Fraction
-
Creates a new fraction of the two given terms.
- FractionSequenceFunction - Class in net.sf.tweety.math.func
-
The function 1/x.
- FractionSequenceFunction() - Constructor for class net.sf.tweety.math.func.FractionSequenceFunction
-
- frameworkSize - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest
-
- frameworkSize - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest
-
- from - Variable in class net.sf.tweety.action.transitionsystem.Transition
-
- ftol - Variable in class net.sf.tweety.math.opt.OpenOptRootFinder
-
- ftol - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
- fullString() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
-
- FunctionalTerm - Class in net.sf.tweety.logics.commons.syntax
-
A functional term in a logic language, i.e.
- FunctionalTerm(Functor, Term<?>...) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm
-
- FunctionalTerm(Functor, List<Term<?>>) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm
-
Creates a new functional term with the given functor and the given list
of arguments.
- FunctionalTerm(FunctionalTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm
-
- FunctionalTerm(Functor) - Constructor for class net.sf.tweety.logics.commons.syntax.FunctionalTerm
-
Creates a new functional term with the given functor.
- FunctionalTerm() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
-
- FunctionalTerm - Class in net.sf.tweety.math.term
-
Instances of this class represent a functional term on some inner term.
- FunctionalTerm(Term) - Constructor for class net.sf.tweety.math.term.FunctionalTerm
-
Creates a new functional term with the given inner term.
- FunctionalTest - Class in net.sf.tweety.logics.fol.parser
-
Functional test for the new javacc parser 'FolParserB'
- FunctionalTest() - Constructor for class net.sf.tweety.logics.fol.parser.FunctionalTest
-
- functions - Variable in class net.sf.tweety.math.opt.RootFinder
-
The (multi-dimensional) function of this root finder.
- Functions<T> - Class in net.sf.tweety.preferences.ranking
-
An abstract class as superclass for two different ranking/leveling functions used to rank elements from preference orders
- Functions() - Constructor for class net.sf.tweety.preferences.ranking.Functions
-
- Functor - Class in net.sf.tweety.logics.commons.syntax
-
A functor for logic language, i.e.
- Functor(String) - Constructor for class net.sf.tweety.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 net.sf.tweety.logics.commons.syntax.Functor
-
Initializes a functor with the given name and of the given arity.
- Functor(String, List<Sort>, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.Functor
-
Initializes a functor with the given name, the given list
of argument sorts, and the given target sort.
- functor - Variable in class net.sf.tweety.lp.asp.parser.ASTFunctionalTerm
-
- functor - Variable in class net.sf.tweety.lp.asp.syntax.Aggregate
-
- functors - Variable in class net.sf.tweety.logics.fol.syntax.FolSignature
-
- FuzzyInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis
-
This measure implements the approach presented in [Thimm, 2016, to appear].
- FuzzyInconsistencyMeasure(TNorm, TCoNorm, byte) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
Creates a new measure for the given T-norm and T-conorm.
- FuzzyInconsistencyMeasure(TNorm, TCoNorm) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
Creates a new measure (T Version) for the given T-norm and T-conorm.
- FuzzyInconsistencyMeasure(TNorm) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
Creates a new measure for the given T-norm.
- FuzzyInconsistencyMeasure(TNorm, byte) - Constructor for class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
-
Creates a new measure for the given T-norm.
- FuzzyInconsistencyMeasureTest - Class in net.sf.tweety.logics.pl.test
-
- FuzzyInconsistencyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
-
- FuzzyInterpretation - Class in net.sf.tweety.logics.pl.semantics
-
A fuzzy interpretation for propositional logic.
- FuzzyInterpretation() - Constructor for class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
-
Creates a new fuzzy interpretation
- FuzzyMeasureTest - Class in net.sf.tweety.logics.pl.test
-
- FuzzyMeasureTest() - Constructor for class net.sf.tweety.logics.pl.test.FuzzyMeasureTest
-
- FuzzyNegation - Class in net.sf.tweety.math.func.fuzzy
-
Represents a fuzzy negation, i.e., a generalization of a logical
negation on values in [0,1].
- FuzzyNegation() - Constructor for class net.sf.tweety.math.func.fuzzy.FuzzyNegation
-
A B C D E F G H I J K L M N O P Q R S T U V W X Z _