Separate interpretation sets #225
giopagliaAnnotations
1 error and 7 warnings
|
Documentation
Process completed with exit code 1.
|
|
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
undefined binding 'SoleLogics.AnchoredFormula' in `@docs` block in src/more-on-formulas.md:41-49
```@docs
AnchoredFormula
logic(φ::AnchoredFormula)
synstruct(φ::AnchoredFormula)
baseformula(φ::Formula; infer_logic = true, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing, kwargs...)
parseformula(::Type{AnchoredFormula}, expr::String, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing; operators::Union{Nothing,Vector{<:Operator}}, grammar::Union{Nothing,AbstractGrammar} = nothing, algebra::Union{Nothing,AbstractAlgebra} = nothing, kwargs...)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.logic' in `@docs` block in src/more-on-formulas.md:41-49
```@docs
AnchoredFormula
logic(φ::AnchoredFormula)
synstruct(φ::AnchoredFormula)
baseformula(φ::Formula; infer_logic = true, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing, kwargs...)
parseformula(::Type{AnchoredFormula}, expr::String, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing; operators::Union{Nothing,Vector{<:Operator}}, grammar::Union{Nothing,AbstractGrammar} = nothing, algebra::Union{Nothing,AbstractAlgebra} = nothing, kwargs...)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.synstruct' in `@docs` block in src/more-on-formulas.md:41-49
```@docs
AnchoredFormula
logic(φ::AnchoredFormula)
synstruct(φ::AnchoredFormula)
baseformula(φ::Formula; infer_logic = true, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing, kwargs...)
parseformula(::Type{AnchoredFormula}, expr::String, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing; operators::Union{Nothing,Vector{<:Operator}}, grammar::Union{Nothing,AbstractGrammar} = nothing, algebra::Union{Nothing,AbstractAlgebra} = nothing, kwargs...)
```
|
|
Documentation:
../../../.julia/packages/Documenter/C1XEF/src/utilities/utilities.jl#L46
undefined binding 'SoleLogics.baseformula' in `@docs` block in src/more-on-formulas.md:41-49
```@docs
AnchoredFormula
logic(φ::AnchoredFormula)
synstruct(φ::AnchoredFormula)
baseformula(φ::Formula; infer_logic = true, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing, kwargs...)
parseformula(::Type{AnchoredFormula}, expr::String, additional_operators::Union{Nothing,Vector{<:Operator}} = nothing; operators::Union{Nothing,Vector{<:Operator}}, grammar::Union{Nothing,AbstractGrammar} = nothing, algebra::Union{Nothing,AbstractAlgebra} = nothing, kwargs...)
```
|