SoleModels
Welcome to the documentation for SoleModels, the first ever framework for symbolic learning. This package provides the basic structures for representing symbolic models and data. 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
SoleModels.BASE_FEATURE_ALIASES
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.AbstractCondition
SoleModels.AbstractConditionalAlphabet
SoleModels.AbstractFeature
SoleModels.AbstractFullMemoset
SoleModels.AbstractLogiset
SoleModels.AbstractMemoset
SoleModels.AbstractModel
SoleModels.AbstractOneStepMemoset
SoleModels.AbstractScalarOneStepGlobalMemoset
SoleModels.AbstractScalarOneStepRelationalMemoset
SoleModels.AbstractUnivariateFeature
SoleModels.Aggregator
SoleModels.BoundedScalarConditions
SoleModels.Branch
SoleModels.CLabel
SoleModels.ConstantModel
SoleModels.ConstrainedModel
SoleModels.DecisionForest
SoleModels.DecisionList
SoleModels.DecisionTree
SoleModels.DimensionalDatasets.AbstractUniformFullDimensionalLogiset
SoleModels.DimensionalDatasets.AbstractUniformFullDimensionalOneStepRelationalMemoset
SoleModels.DimensionalDatasets.UniformFullDimensionalLogiset
SoleModels.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset
SoleModels.ExistentialTopFormula
SoleModels.ExplicitBooleanLogiset
SoleModels.ExplicitFeature
SoleModels.ExplicitLogiset
SoleModels.Feature
SoleModels.FullMemoset
SoleModels.FunctionModel
SoleModels.FunctionalCondition
SoleModels.Label
SoleModels.LeafModel
SoleModels.MixedSymbolicModel
SoleModels.MultiFormula
SoleModels.MultiLogiset
SoleModels.MultivariateFeature
SoleModels.RLabel
SoleModels.Rule
SoleModels.ScalarChainedMemoset
SoleModels.ScalarCondition
SoleModels.ScalarExistentialFormula
SoleModels.ScalarFormula
SoleModels.ScalarMetaCondition
SoleModels.ScalarOneStepMemoset
SoleModels.ScalarOneStepRelationalMemoset
SoleModels.ScalarPropositionFormula
SoleModels.ScalarUniversalFormula
SoleModels.SupportedLogiset
SoleModels.TestOperator
SoleModels.UnboundedScalarConditions
SoleModels.UnivariateFeature
SoleModels.UnivariateMax
SoleModels.UnivariateMin
SoleModels.UnivariateNamedFeature
SoleModels.UnivariateSoftMax
SoleModels.UnivariateSoftMin
SoleModels.UnivariateValue
SoleModels.UniversalBotFormula
SoleModels.ValueCondition
SoleModels.VarFeature
Base.isopen
Base.rand
SoleLogics.accessibles
SoleLogics.check
SoleLogics.syntaxstring
SoleModels.antecedent
SoleModels.apply
SoleModels.apply_test_operator
SoleModels.balanced_weights
SoleModels.bestguess
SoleModels.check_model_constraints
SoleModels.checkantecedent
SoleModels.computefeature
SoleModels.computeunivariatefeature
SoleModels.consequent
SoleModels.default_weights
SoleModels.displaymodel
SoleModels.evaluaterule
SoleModels.feasiblemodelstype
SoleModels.featvaltype
SoleModels.immediatesubmodels
SoleModels.info
SoleModels.isminifiable
SoleModels.issymbolic
SoleModels.joinrules
SoleModels.listimmediaterules
SoleModels.listrules
SoleModels.minify
SoleModels.naturalgrouping
SoleModels.negconsequent
SoleModels.outcometype
SoleModels.outputtype
SoleModels.parsecondition
SoleModels.parsefeature
SoleModels.posconsequent
SoleModels.printmodel
SoleModels.printmodel
SoleModels.propagate_feasiblemodels
SoleModels.readmetrics
SoleModels.representatives
SoleModels.rulemetrics
SoleModels.scalarlogiset
SoleModels.submodels
SoleModels.variable_name
SoleModels.wrap