From 716f0139947ace50c2a190a3e76bb22fce05d813 Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Fri, 2 Aug 2024 10:44:48 +0000 Subject: [PATCH] build based on e00e749 --- dev/.documenter-siteinfo.json | 2 +- dev/index.html | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index 5cb5133..6d35c8e 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-07-31T16:44:04","documenter_version":"1.5.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-08-02T10:44:44","documenter_version":"1.5.0"}} \ No newline at end of file diff --git a/dev/index.html b/dev/index.html index b48e7e8..7287dcb 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
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