songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

improve documentation of ImplicitInteroperable

This commit is contained in:
Michael Hemmer 2014-01-30 13:57:14 +01:00
parent cc30859ea1
commit 8f18eb46f9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Algebraic_foundations/doc/Algebraic_foundations/Concepts/ImplicitInteroperable.h
View File

@ -6,7 +6,8 @@
Two types `A` and `B` are a model of the concept Two types `A` and `B` are a model of the concept
`ImplicitInteroperable`, if there is a superior type, such that `ImplicitInteroperable`, if there is a superior type, such that
binary arithmetic operations involving `A` and `B` result in binary arithmetic operations involving `A` and `B` result in
this type. This type is \link CGAL::Coercion_traits::Type `CGAL::Coercion_traits<A,B>::Type`\endlink. this type. This type is \link CGAL::Coercion_traits::Type `CGAL::Coercion_traits<A,B>::Type`\endlink.
In case types are RealEmbeddable this also implies that mixed compare operators are available.
The type \link CGAL::Coercion_traits::Type `CGAL::Coercion_traits<A,B>::Type`\endlink is required to be The type \link CGAL::Coercion_traits::Type `CGAL::Coercion_traits<A,B>::Type`\endlink is required to be
implicit constructible from `A` and `B`. implicit constructible from `A` and `B`.