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 All Packages

O

Observation - Interface in net.sf.tweety.machinelearning

An observation is some data point which can be classified.

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.

OctaveSqpSolverEx - Class in net.sf.tweety.math.examples

This class implements an example for the OctaveSqpSolver Version used is 5.2.0

OctaveSqpSolverEx() - Constructor for class net.sf.tweety.math.examples.OctaveSqpSolverEx

of(Set<E>, Set<E>, Set<E>) - Static method in class net.sf.tweety.arg.adf.util.UnionSetView

of(Argument, Argument, LinkType) - Static method in interface net.sf.tweety.arg.adf.semantics.link.Link

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

OmegaReductTransformer - Class in net.sf.tweety.arg.adf.transform

Replaces all unsatisfied arguments relative to a provided Interpretation with ContradictionAcceptanceCondition, all the rest remains untouched.

OmegaReductTransformer(Interpretation) - Constructor for class net.sf.tweety.arg.adf.transform.OmegaReductTransformer

ONE - Static variable in class net.sf.tweety.math.probability.Probability

Constant for probability 1

onlyPositive - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex

Whether only positive solutions are allowed.

op - Variable in class net.sf.tweety.lp.asp.parser.ASTAriTerm

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTAriTerm

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTArithop

op(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBinop

openNodeScope(Node) - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState

OpenWboSolver - Class in net.sf.tweety.logics.pl.sat

Provides an interface to the open-wbo MaxSAT solver, see https://github.com/sat-group/open-wbo.

OpenWboSolver(String) - Constructor for class net.sf.tweety.logics.pl.sat.OpenWboSolver

Creates a new solver based on the open-wbo executable given as a parameter.

Operation - Enum in net.sf.tweety.preferences

This enumeration lists the possible Operations used by dynamic preference aggregation updates

OPERATION - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants

RegularExpression Id.

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTArithop

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBinop

operator - Variable in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

operator(String) - Method in class net.sf.tweety.lp.asp.parser.ASTBuiltInAtom

oppModelCorrect - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration

this parameter indicates whether the nested model is correct wrt.

OPPOSITE_LITERALS - net.sf.tweety.logics.pl.analysis.IcebergInconsistencyMeasure.ConsequenceOperation

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.problem

This class models a general optimization problem.

OptimizationProblem() - Constructor for class net.sf.tweety.math.opt.problem.OptimizationProblem

Creates an empty optimization problem.

OptimizationProblem(int) - Constructor for class net.sf.tweety.math.opt.problem.OptimizationProblem

Creates an empty optimization problem of the given type.

OptimizationRootFinder - Class in net.sf.tweety.math.opt.rootFinder

This class is the common ancestor for root finders that work with optimizers.

OptimizationRootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.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.rootFinder.OptimizationRootFinder

Creates a new root finder for the given starting point and the given (multi-dimensional) function

Optimize() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeElement() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeElements() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

OptimizeFunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

or(Double, Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

or(Collection<L>) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

The OR-operation on all given arguments

or(L, L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

The OR-operation on L in this framework

or(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder

or(AcceptanceCondition...) - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder

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.ASPCore2Constants

RegularExpression Id.

OR - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants

RegularExpression Id.

order(AbstractDialecticalFramework) - Method in class net.sf.tweety.arg.adf.reasoner.ordering.AbstractOrdering

order(AbstractDialecticalFramework) - Method in interface net.sf.tweety.arg.adf.reasoner.ordering.Ordering

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.

Ordering<T> - Interface in net.sf.tweety.arg.adf.reasoner.ordering

OrderingExample - Class in net.sf.tweety.arg.dung.examples

example on how to use the OrderingSemanticsReasoner

OrderingExample() - Constructor for class net.sf.tweety.arg.dung.examples.OrderingExample

OrderingSemantics - Enum in net.sf.tweety.arg.dung.semantics

This enum lists ordering semantics.

OrderingSemanticsReasoner - Class in net.sf.tweety.arg.dung.reasoner

Reasoner for ordering semantics

OrderingSemanticsReasoner(OrderingSemantics) - Constructor for class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner

create a reasoner for the given ordering semantics

OrderingSemanticsReasoner(OrderingSemantics, OrderingSemantics) - Constructor for class net.sf.tweety.arg.dung.reasoner.OrderingSemanticsReasoner

create a reasoner for the given combination of ordering semantics

OUT - net.sf.tweety.arg.dung.semantics.ArgumentStatus

OUTGOING - net.sf.tweety.arg.adf.reasoner.ordering.ArgumentDegreeOrdering.DegreeType

outgoingDegree(Argument) - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework

outgoingDegree(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.ExtendedAbstractDialecticalFramework

outgoingDegree(Argument) - Method in class net.sf.tweety.arg.adf.syntax.adf.GraphAbstractDialecticalFramework

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

OutputReasoner - Class in net.sf.tweety.arg.saf.reasoner

This class models an abstract reasoner for structured argumentation frameworks.

OutputReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.saf.reasoner.OutputReasoner

Creates a new reasoner

OvercautiousArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured

This class models an overcautious argumentation agent, i.e.

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.

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.

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 All Packages