diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index 1212185..e3257e5 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-08-02T10:44:46","documenter_version":"1.5.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-10-11T10:45:33","documenter_version":"1.5.0"}} \ No newline at end of file diff --git a/dev/index.html b/dev/index.html index 6608dc6..d44a4f1 100644 --- a/dev/index.html +++ b/dev/index.html @@ -1,5 +1,5 @@ -Home · Sole.jl
GitHub

Sole

Welcome to the documentation for Sole, a Julia package for symbolic AI.

SoleLogics.:¬ — Constant
const NEGATION = NamedConnective{:¬}()
+Home · Sole.jl
GitHub
Sole
Welcome to the documentation for Sole, a Julia package for symbolic AI.
SoleLogics.:¬ — Constant
const NEGATION = NamedConnective{:¬}()
 const ¬ = NEGATION
 arity(::typeof(¬)) = 1
Logical negation (also referred to as complement). It can be typed by \neg<tab>.
See also NamedConnective, Connective.
source
SoleLogics.:→ — Constant
const IMPLICATION = NamedConnective{:→}()
 const → = IMPLICATION
@@ -1198,7 +1198,7 @@
     [opweights::Union{Nothing,AbstractWeights} = nothing,]
     args...;
     kwargs...
-)::Formula
Randomly sample an Atom from an alphabet, or a logic formula of given height from a grammar g. Sampling is weighted, thus, for example, if the first weight in weights is higher than the others, then the first atom in the alphabet is selected more frequently.
See also AbstractAlphabet, AbstractWeights, Atom.
source
StatsBase.sample — Function
function StatsBase.sample(
+)::Formula
Randomly sample an Atom from an alphabet, or a logic formula of given height from a grammar g. Sampling is weighted, thus, for example, if the first weight in weights is higher than the others, then the first atom in the alphabet is selected more frequently.
See also AbstractAlphabet, AbstractWeights, Atom.
source
StatsBase.sample — Function
function StatsBase.sample(
     [rng::AbstractRNG = Random.GLOBAL_RNG,]
     alphabet::AbstractAlphabet,
     weights::AbstractWeights,
@@ -1221,7 +1221,7 @@
     [opweights::Union{Nothing,AbstractWeights} = nothing,]
     args...;
     kwargs...
-)::Formula
Randomly sample an Atom from an alphabet, or a logic formula of given height from a grammar g. Sampling is weighted, thus, for example, if the first weight in weights is higher than the others, then the first atom in the alphabet is selected more frequently.
See also AbstractAlphabet, AbstractWeights, Atom.
source
SoleLogics.@atoms — Macro
@atoms(ps...)
Instantiate a collection of Atoms and return them as a vector.
Info
Atoms instantiated with this macro are defined in the global scope as constants.
Examples
julia> SoleLogics.@atoms String p q r s
+)::Formula
Randomly sample an Atom from an alphabet, or a logic formula of given height from a grammar g. Sampling is weighted, thus, for example, if the first weight in weights is higher than the others, then the first atom in the alphabet is selected more frequently.
See also AbstractAlphabet, AbstractWeights, Atom.
source
SoleLogics.@atoms — Macro
@atoms(ps...)
Instantiate a collection of Atoms and return them as a vector.
Info
Atoms instantiated with this macro are defined in the global scope as constants.
Examples
julia> SoleLogics.@atoms String p q r s
 4-element Vector{Atom{String}}:
  Atom{String}("p")
  Atom{String}("q")
@@ -1608,4 +1608,4 @@
 true
 
 julia> submodels(branch2) == immediatesubmodels(branch2)
-false
See also immediatesubmodels, LeafModel, AbstractModel.
source
SoleModels.wrap — Method
wrap(o::Any)::AbstractModel
This function wraps anything into an AbstractModel. The default behavior is the following:
  • when called on an AbstractModel, the model is
simply returned (no wrapping is performed);
  • Functions and FunctionWrappers are wrapped into a FunctionModel;
  • every other object is wrapped into a ConstantModel.
See also ConstantModel, FunctionModel, LeafModel.
source

+false

See also immediatesubmodels, LeafModel, AbstractModel.

source
SoleModels.wrap — Method
wrap(o::Any)::AbstractModel

This function wraps anything into an AbstractModel. The default behavior is the following:

  • when called on an AbstractModel, the model is

simply returned (no wrapping is performed);

  • Functions and FunctionWrappers are wrapped into a FunctionModel;
  • every other object is wrapped into a ConstantModel.

See also ConstantModel, FunctionModel, LeafModel.

source