From d738893fb61bb640a9a2c1c861d98cb351b5b09f Mon Sep 17 00:00:00 2001 From: lucaferranti <49938764+lucaferranti@users.noreply.github.com> Date: Tue, 23 Feb 2021 19:37:09 +0200 Subject: [PATCH 1/3] added missing ticks in docstring --- src/separator.jl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/separator.jl b/src/separator.jl index 6c7a92b..28c14bd 100644 --- a/src/separator.jl +++ b/src/separator.jl @@ -190,10 +190,13 @@ end """ Create a separator without the use of macros using ModelingToolkit -e.g vars = @variables x y z +e.g +``` +vars = @variables x y z S = Separator(vars, x^2+y^2<1) X= IntervalBox(-0.5..1.5, -0.5..1.5, -0.5..1.5) S(X) +``` """ function Separator(variables, ex::Operation) expr, constraint = parse_comparison(ex) From fa407267f584588a813d724f830667037beead67 Mon Sep 17 00:00:00 2001 From: lucaferranti <49938764+lucaferranti@users.noreply.github.com> Date: Thu, 4 Mar 2021 11:00:59 +0200 Subject: [PATCH 2/3] added link to webpage in readme (fixes #151) --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 99fc044..428bfd1 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ # IntervalConstraintProgramming.jl [![Build Status](https://travis-ci.org/JuliaIntervals/IntervalConstraintProgramming.jl.svg?branch=master)](https://travis-ci.org/dpsanders/IntervalConstraintProgramming.jl) +[![Docs](https://img.shields.io/badge/docs-stable-blue.svg)](https://juliaintervals.github.io/pages/packages/intervalconstraintprogramming/) This Julia package allows us to specify a set of constraints on real-valued variables, given by inequalities, and @@ -12,9 +13,9 @@ The package is based on interval arithmetic using the in particular multi-dimensional `IntervalBox`es (i.e. Cartesian products of one-dimensional intervals). ## Documentation -Documentation for the package is available [here](http://juliaintervals.github.io/IntervalConstraintProgramming.jl/latest/). +Documentation for the package is available [here](https://juliaintervals.github.io/pages/packages/intervalconstraintprogramming/). -The best way to learn how to use the package is to look at the example notebooks, available in a separate repository [here](https://github.com/JuliaIntervals/IntervalConstraintProgrammingNotebooks). +The best way to learn how to use the package is to look at the tutorial, available in the organisation webpage [here](https://juliaintervals.github.io/pages/tutorials/tutorialConstraintProgramming/). ## Author From 8f6f2791a21f61f109eed1919ea26b0750e82919 Mon Sep 17 00:00:00 2001 From: lucaferranti <49938764+lucaferranti@users.noreply.github.com> Date: Thu, 4 Mar 2021 11:02:04 +0200 Subject: [PATCH 3/3] fix docstring for constraint-macro (fixes #154) --- src/separator.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/separator.jl b/src/separator.jl index 28c14bd..f0b25cd 100644 --- a/src/separator.jl +++ b/src/separator.jl @@ -178,7 +178,7 @@ External constants can be used as e.g. `\$a`: ``` a = 3 -C = @constraint x^2 + y^2 <= \$a +C = @constraint x^2 + y^2 - \$a <= 0 ``` """ macro constraint(ex::Expr, variables = [])