|
|||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
BioPatternsTranslator | The BioPatternsTranslator class translates a biological property from a natural language pattern into a temporal logic formula. |
|
|||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |