teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update README.md

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2019-02-11 16:48:03 -08:00 • committed by GitHub
parent 4df512a087
commit f1aea19c7c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

16
README.md
View file

@ -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
```