Skip to content

Commit

Permalink
Fix docs
Browse files Browse the repository at this point in the history
  • Loading branch information
pedromxavier committed Oct 29, 2023
1 parent 0a00acf commit a0ba4fb
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 2 deletions.
5 changes: 3 additions & 2 deletions docs/src/api.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@ PBO.varshow
## Terms

```@docs
PBO.AbstractTerm
PBO.Term
PBO.term
PBO.term_head
PBO.term_tail
Expand Down Expand Up @@ -65,10 +67,9 @@ PBO.infer_quadratization
```

```@docs
PBO.INFER
PBO.DEFAULT
PBO.PTR_BG
PBO.NTR_KZFD
PBO.DEFAULT
```

## Synthesis
Expand Down
5 changes: 5 additions & 0 deletions src/library/function/term.jl
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
@doc raw"""
Term{V}
Reference implementation for [`AbstractTerm`](@ref).
"""
struct Term{V} <: AbstractTerm{V}
ω::Vector{V}

Expand Down

2 comments on commit a0ba4fb

@pedromxavier
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/94325

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.2.2 -m "<description of version>" a0ba4fb5f48c0a17b0f471c59877b78e1cfa0216
git push origin v0.2.2

Please sign in to comment.