Uses of Interface
edu.cs.ai.kreator.logic.Latexable

Packages that use Latexable

edu.cs.ai.kreator.datamodels
edu.cs.ai.kreator.logic
edu.cs.ai.kreator.logic.metaconstraints
edu.cs.ai.kreator.models

Uses of Latexable in edu.cs.ai.kreator.datamodels

Classes in edu.cs.ai.kreator.datamodels that implement Latexable

class	KnowledgebaseFile
class	KreatorScript
class	SampleCollection A SampleCollection object is a KReatorfile that contains example data

Uses of Latexable in edu.cs.ai.kreator.logic

Classes in edu.cs.ai.kreator.logic that implement Latexable

class	AtomExpression This class models an atom expression in bayesian logic.
class	Clause This class models a clause in clausal logic, i.e., a formula of the form "A <- A1,...
class	Constant This class models a constant, i.e., a member of the universe under discourse.
class	FunctionTerm This class models a function term in first-order logic, i.e., it encapsulates a functor together with a list of parameters.
class	GeneralizedAtom This class models a generalized atom, i.e., it encapsulates a predicate symbol and a list of parameters.
class	Literal This abstract class models a literal in first-order logic.
class	SpiritGrammarConform Defines an abstract class to generate a SPIRIT conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals...
class	StrictNegation
class	Term This interfaces summarizes the common functionalities of terms in first-order logic.
class	Variable This class models a variable in first-order logic, i.e., a placeholder for any constant in the universe under discourse.

Uses of Latexable in edu.cs.ai.kreator.logic.metaconstraints

Subinterfaces of Latexable in edu.cs.ai.kreator.logic.metaconstraints

interface

MetaConstraint This interface decibes a Meta-Constraint that can be added to a RmeConditional.

Classes in edu.cs.ai.kreator.logic.metaconstraints that implement Latexable

class	ExclusionConstraint This class implements the MetaConstraint which excludes a set of constants from the substitution for a variable, e.g.
class	NotEqualConstraint This class implements the Meta-Constraint for RME-Conditionals which prohibits the instantiation of two variables with the same constant, e.g.

Uses of Latexable in edu.cs.ai.kreator.models

Classes in edu.cs.ai.kreator.models that implement Latexable

class

Knowledgebase This class is the common ancestor for all knowledgebase types and provides several shared features.