- obj - Variable in class net.sf.tweety.commons.Writer
-
- obj1 - Variable in class net.sf.tweety.commons.util.Pair
-
The first element of this pair
- obj1 - Variable in class net.sf.tweety.commons.util.Triple
-
The first element of this triple
- obj1 - Variable in class net.sf.tweety.preferences.Quadruple
-
The first element
- obj2 - Variable in class net.sf.tweety.commons.util.Pair
-
The second element of this pair
- obj2 - Variable in class net.sf.tweety.commons.util.Triple
-
The second element of this triple
- obj2 - Variable in class net.sf.tweety.preferences.Quadruple
-
The second element
- obj3 - Variable in class net.sf.tweety.commons.util.Triple
-
The third element of this triple
- obj3 - Variable in class net.sf.tweety.preferences.Quadruple
-
The third element
- obj4 - Variable in class net.sf.tweety.preferences.Quadruple
-
The fourth element
- Observation - Interface in net.sf.tweety.machinelearning
-
An observation is some data point which can be classified.
- ocf - Variable in class net.sf.tweety.logics.cl.ZReasoner
-
The ranking function for this knowledge base based
on penalty points of System Z.
- OctaveSqpSolver - Class in net.sf.tweety.math.opt.solver
-
Provides a bridge to the Octave (http://www.gnu.org/software/octave/) optimization
solver "sqp" which implements a successive quadratic programming solver for
general non-linear optimization problems.
- OctaveSqpSolver() - Constructor for class net.sf.tweety.math.opt.solver.OctaveSqpSolver
-
Default constructor.
- OjAlgoMathUtils - Class in net.sf.tweety.math.util
-
Provides some utility functions for solving quadratic problems with ojAlgo.
- OjAlgoMathUtils() - Constructor for class net.sf.tweety.math.util.OjAlgoMathUtils
-
- OjAlgoPclUtils - Class in net.sf.tweety.logics.pcl.util
-
Provides some utility functions for solving Pcl specific reasoning problems with ojAlgo.
- OjAlgoPclUtils() - Constructor for class net.sf.tweety.logics.pcl.util.OjAlgoPclUtils
-
- oldVars2newVars - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
-
A map mapping old variables to new variables.
- omega - Variable in class net.sf.tweety.logics.cl.ZReasoner
-
- ONE - Static variable in class net.sf.tweety.math.probability.Probability
-
Constant for probability 1
- oneThreadParser - Static variable in class net.sf.tweety.lp.asp.parser.ASPParser
-
- onlyPositive - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex
-
Whether only positive solutions are allowed.
- op - Variable in class net.sf.tweety.preferences.update.Update
-
The second element
- openNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPParserState
-
- openopt_use_local - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
Whether to use a local installation of OpenOpt.
- openopt_webservice_apikey - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
The API key for using the service.
- openopt_webservice_url - Static variable in class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
The URL of the web service.
- OpenOptRootFinder - Class in net.sf.tweety.math.opt
-
A wrapper for the open opt library.
- OpenOptRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OpenOptRootFinder
-
Creates a new root finder for the given starting point and the given function
- OpenOptRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OpenOptRootFinder
-
Creates a new root finder for the given starting point and the given
(multi-dimensional) function
- OpenOptSolver - Class in net.sf.tweety.math.opt.solver
-
This class implements a wrapper for the OpenOpt optimization library.
- OpenOptSolver() - Constructor for class net.sf.tweety.math.opt.solver.OpenOptSolver
-
Creates a new solver.
- OpenOptSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.OpenOptSolver
-
Creates a new solver for the given problem.
- OpenOptWebSolver - Class in net.sf.tweety.math.opt.solver
-
Uses a web service implementation of the OpenOpt-library.
- OpenOptWebSolver() - Constructor for class net.sf.tweety.math.opt.solver.OpenOptWebSolver
-
- openVariables - Variable in class net.sf.tweety.lp.asp.syntax.SymbolicSet
-
- operation - Variable in class net.sf.tweety.preferences.io.POChanger
-
The Triple t(x,y,z) contains the element y whose value in the po x' ranking function should be overwritten with parameter z
- OPERATION - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
-
RegularExpression Id.
- Operation - Enum in net.sf.tweety.preferences
-
This enumeration lists the possible Operations used by
dynamic preference aggregation updates
- Operation() - Constructor for enum net.sf.tweety.preferences.Operation
-
- operator - Variable in class net.sf.tweety.lp.asp.parser.ASTArithmeticOp
-
- operator - Variable in class net.sf.tweety.lp.asp.parser.ASTCompareOp
-
- operator - Variable in class net.sf.tweety.lp.asp.syntax.Arithmetic
-
the operator or the id of the build-in function
- operator - Variable in class net.sf.tweety.lp.asp.syntax.Comparative
-
- oppModel - Variable in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
-
The opponent model of the agent (as there are only
two agents in the system the model always refers to
the other agent.
- oppModelCorrect - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration
-
this parameter indicates whether the nested model is correct wrt.
- OptimisticPASemantics - Class in net.sf.tweety.arg.prob.semantics
-
P is optimistic wrt.
- OptimisticPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics
-
- OptimizationProblem - Class in net.sf.tweety.math.opt
-
This class models a general optimization problem.
- OptimizationProblem() - Constructor for class net.sf.tweety.math.opt.OptimizationProblem
-
Creates an empty optimization problem.
- OptimizationProblem(int) - Constructor for class net.sf.tweety.math.opt.OptimizationProblem
-
Creates an empty optimization problem of the given type.
- OptimizationRootFinder - Class in net.sf.tweety.math.opt
-
This class is the common ancestor for root finders that work with optimizers.
- OptimizationRootFinder(Term) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given function.
- OptimizationRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given starting point and the given function
- OptimizationRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.OptimizationRootFinder
-
Creates a new root finder for the given starting point and the given
(multi-dimensional) function
- options - Static variable in class net.sf.tweety.cli.TweetyCli
-
Advanced options
- optSemantics - Variable in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
-
- or(L, L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The OR-operation on L in this framework
- or(Collection<L>) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The OR-operation on all given arguments
- or(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
-
- OR - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
-
RegularExpression Id.
- or(PriestWorld.TruthValue) - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
-
- OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPParserConstants
-
RegularExpression Id.
- order - Variable in class net.sf.tweety.arg.aspic.AspicArgumentationTheory
-
An order over this system's arguments, needed for their defeat relation
- order - Variable in class net.sf.tweety.arg.aspic.semantics.AspicAttack
-
The binary ordring to determine if attacks are successfull
- order - Variable in class net.sf.tweety.arg.dung.semantics.LatticeArgumentRanking
-
The actual order
- Order<T> - Class in net.sf.tweety.graphs.orders
-
This class represents an order among some objects.
- Order(Collection<T>) - Constructor for class net.sf.tweety.graphs.orders.Order
-
Creates a new order for the given set of objects.
- order(Set<Triple<Proposition, Integer, SpecialFormula>>) - Method in class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
-
Orders the substitutions in decreasing order.
- Order.OrderNode - Class in net.sf.tweety.graphs.orders
-
Represents an object that is ordered.
- OrderNode() - Constructor for class net.sf.tweety.graphs.orders.Order.OrderNode
-
- out - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
-
the out set
- outDegree() - Method in class net.sf.tweety.commons.util.DigraphNode
-
- output - Variable in class net.sf.tweety.arg.saf.OutputReasoner
-
The output of this reasoner.
- output - Variable in class net.sf.tweety.lp.asp.solver.AspInterface.StreamFlusher
-
- output - Variable in class net.sf.tweety.plugin.PluginOutput
-
- outputData - Variable in class net.sf.tweety.lp.asp.solver.AspInterface
-
these variables holds the (result or error) of an answer set solver
- OutputField - Class in net.sf.tweety.plugin
-
This class models single fields used for the PluginOutput
Each field contains its description and its value, e.g.:
Query:
a + b || !a + !b
where "Query:" is the description and "a + b || !a + !b" is the value.
- OutputField() - Constructor for class net.sf.tweety.plugin.OutputField
-
- OutputField(String) - Constructor for class net.sf.tweety.plugin.OutputField
-
- OutputField(String, String) - Constructor for class net.sf.tweety.plugin.OutputField
-
- outputFile - Static variable in class net.sf.tweety.cli.plugins.CliMain
-
the output file
- outputFile - Static variable in class net.sf.tweety.cli.TweetyCli
-
The output file
- outputFile - Static variable in class net.sf.tweety.logics.rpcl.plugin.RPCLPlugin
-
- OutputReasoner - Class in net.sf.tweety.arg.saf
-
This class models an abstract reasoner for structured argumentation frameworks.
- OutputReasoner(BeliefBase, Class<? extends AbstractExtensionReasoner>) - Constructor for class net.sf.tweety.arg.saf.OutputReasoner
-
Creates a new reasoner for the given knowledge base.
- outputWriter - Static variable in class net.sf.tweety.cli.TweetyCli
-
The writer used for writing the output file.
- OvercautiousArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured
-
This class models an overcautious argumentation agent, i.e.
- OvercautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
-
Creates a new (non-single-step) agent with the given (local) view and utility function.
- OvercautiousArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean, Proposition) - Constructor for class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
-
Creates a new agent with the given (local) view and utility function.