From f1aea19c7c7223611617c584900d09fb2626ffca Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 11 Feb 2019 16:48:03 -0800 Subject: [PATCH] Update README.md --- README.md | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index ee4bce0..062e259 100644 --- a/README.md +++ b/README.md @@ -147,13 +147,23 @@ phi = mtl.parse('F(a | b)') print(phi(data, quantitative=False)) # output: True -# Evaluate at t=3 -print(phi(data, t=3, quantitative=False)) +phi = mtl.parse('F(a | b)') +print(phi(data)) +# output: True + +# Note, quantitative parameter defaults to False + +# Evaluate at t=3. +print(phi(data, t=3)) # output: False +# Compute satisifaction signal +print(phi(data, t=None) +# output: [(0, True), (0.2, True), (4, False)] + # Evaluate with discrete time phi = mtl.parse('X b') -print(phi(data, dt=0.2, quantitative=False)) +print(phi(data, dt=0.2)) # output: True ```