From fd0fd88e22bbc789b2e3901664f2f9be736eebb3 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 Mar 2018 15:41:57 +0100 Subject: [PATCH] Update verific.rst Signed-off-by: Clifford Wolf --- docs/source/verific.rst | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/docs/source/verific.rst b/docs/source/verific.rst index 6cf1ca1..2d5f868 100644 --- a/docs/source/verific.rst +++ b/docs/source/verific.rst @@ -84,17 +84,15 @@ And some additional more complex operators: * *sequence* ``or`` *sequence* * *sequence* ``and`` *sequence* * *expression* ``throughout`` *sequence* - -The following operators are currently **unsupported** but support for them is -planned for the near future: - - * ``first_match(`` *sequence* ``)`` * *sequence* ``intersect`` *sequence* * *sequence* ``within`` *sequence* + * ``first_match(`` *sequence* ``)`` * *expression* ``[=N]`` * *expression* ``[=N:M]`` + * *expression* ``[=N:$]`` * *expression* ``[->N]`` * *expression* ``[->N:M]`` + * *expression* ``[->N:$]`` Properties ~~~~~~~~~~ -- 2.30.2