Added documentation and minor fixes to propositional-logic.jl #235
Michele21Documentation.yml
on: pull_request
Documentation
3m 16s
Annotations
10 warnings
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
no docs found for 'Base.length(a::AbstractAlphabet)' in `@docs` block in src/base-logic.md:47-57
```@docs
AbstractAlphabet{V}
Base.isfinite(::Type{<:AbstractAlphabet})
atoms(a::AbstractAlphabet)
Base.in(p::Atom, a::AbstractAlphabet)
Base.length(a::AbstractAlphabet)
Base.iterate(a::AbstractAlphabet)
ExplicitAlphabet{V}
AlphabetOfAny{V}
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
no docs found for 'arity(φ::SyntaxTree)' in `@docs` block in src/getting-started.md:51-53
```@docs
arity(φ::SyntaxTree)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
no docs found for 'arity(φ::SyntaxTree)' in `@docs` block in src/getting-started.md:77-90
```@docs
SyntaxStructure
SyntaxTree
children(φ::SyntaxTree)
token(φ::SyntaxTree)
arity(φ::SyntaxTree)
SyntaxLeaf
SyntaxToken
dual(t::SyntaxToken)
Base.in(tok::SyntaxToken, φ::SyntaxTree)
Atom
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
no docs found for 'StatsBase.sample(alphabet::AbstractAlphabet, weights::AbstractWeights, args...; kwargs...)' in `@docs` block in src/more-on-formulas.md:51-57
```@docs
Base.rand(alphabet::AbstractAlphabet, args...; kwargs...)
SoleLogics.randatom
StatsBase.sample(alphabet::AbstractAlphabet, weights::AbstractWeights, args...; kwargs...)
randformula(height::Integer, alphabet, operators::AbstractVector; rng::Union{Integer,AbstractRNG} = Random.GLOBAL_RNG)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
no docs found for 'randformula(height::Integer, alphabet, operators::AbstractVector; rng::Union{Integer,AbstractRNG} = Random.GLOBAL_RNG)' in `@docs` block in src/more-on-formulas.md:51-57
```@docs
Base.rand(alphabet::AbstractAlphabet, args...; kwargs...)
SoleLogics.randatom
StatsBase.sample(alphabet::AbstractAlphabet, weights::AbstractWeights, args...; kwargs...)
randformula(height::Integer, alphabet, operators::AbstractVector; rng::Union{Integer,AbstractRNG} = Random.GLOBAL_RNG)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.HeytingTruth' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18
```@docs
HeytingTruth
heytingtruths
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.heytingtruths' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:15-18
```@docs
HeytingTruth
heytingtruths
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.HeytingAlgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24
```@docs
HeytingAlgebra
heytingalgebra
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.heytingalgebra' in `@docs` block in src/old-code/many-valued-logics/heyting-algebras.md:21-24
```@docs
HeytingAlgebra
heytingalgebra
```
|
|
|