SoleModels

Welcome to the documentation for SoleModels, the first ever framework for symbolic learning. This package provides the basic structures for representing symbolic models. Note that it does not provide any implementation of symbolic learning algorithms. At the current state, ModalDecisionTrees is the only implemented algorithm that is Sole-compatible.

Index

• SoleLogics.CONJUNCTION
• SoleLogics.DISJUNCTION
• SoleLogics.IA_L
• SoleLogics.globalrel
• SoleLogics.AbstractAlphabet
• SoleLogics.AbstractFrame
• SoleLogics.AbstractInterpretation
• SoleLogics.AbstractInterpretationSet
• SoleLogics.AbstractKripkeStructure
• SoleLogics.AbstractRelation
• SoleLogics.AbstractWorld
• SoleLogics.Atom
• SoleLogics.Formula
• SoleLogics.GeometricalWorld
• SoleLogics.Interval
• SoleLogics.Interval2D
• SoleModels.AbstractModel
• SoleModels.Branch
• SoleModels.ConstantModel
• SoleModels.ConstrainedModel
• SoleModels.DecisionForest
• SoleModels.DecisionList
• SoleModels.DecisionTree
• SoleModels.FunctionModel
• SoleModels.LeafModel
• SoleModels.MixedSymbolicModel
• SoleModels.Rule
• Base.isopen
• SoleLogics.accessibles
• SoleLogics.check
• SoleLogics.syntaxstring
• SoleModels.antecedent
• SoleModels.apply
• SoleModels.check_model_constraints
• SoleModels.checkantecedent
• SoleModels.consequent
• SoleModels.displaymodel
• SoleModels.evaluaterule
• SoleModels.feasiblemodelstype
• SoleModels.immediatesubmodels
• SoleModels.info
• SoleModels.issymbolic
• SoleModels.joinrules
• SoleModels.listimmediaterules
• SoleModels.listrules
• SoleModels.negconsequent
• SoleModels.outcometype
• SoleModels.outputtype
• SoleModels.posconsequent
• SoleModels.printmodel
• SoleModels.printmodel
• SoleModels.propagate_feasiblemodels
• SoleModels.readmetrics
• SoleModels.rulemetrics
• SoleModels.submodels
• SoleModels.wrap