edu.cs.ai.kreator.logic
Interface Latexable

All Known Subinterfaces:

MetaConstraint

All Known Implementing Classes:

AtomExpression, Clause, Constant, ExclusionConstraint, FunctionTerm, GeneralizedAtom, Knowledgebase, KnowledgebaseFile, KreatorScript, Literal, NotEqualConstraint, SampleCollection, SpiritGrammarConform, StrictNegation, Term, Variable

public interface Latexable

Defines a Interface to generate a LaTeX conform output of logical parts, e.g. variables, predicates, atoms, literals, conditionals, cpds ...

Author:

Max Vorderstemann

Method Summary

java.lang.String

toLatex() Returns a Latex grammar conform string to generate variables, rules (conditionals) etc.

Method Detail

toLatex

java.lang.String toLatex()

Returns a Latex grammar conform string to generate variables, rules (conditionals) etc.

Returns:

a Latex grammar conform string.