Java Doc for DecisionProcedureSimplifyOp.java in  » Testing » KeY » de » uka » ilkd » key » proof » decproc » Java Source Code / Java DocumentationJava Source Code and Java Documentation

Java Source Code / Java Documentation
1. 6.0 JDK Core
2. 6.0 JDK Modules
3. 6.0 JDK Modules com.sun
4. 6.0 JDK Modules com.sun.java
5. 6.0 JDK Modules sun
6. 6.0 JDK Platform
7. Ajax
8. Apache Harmony Java SE
9. Aspect oriented
10. Authentication Authorization
11. Blogger System
12. Build
13. Byte Code
14. Cache
15. Chart
16. Chat
17. Code Analyzer
18. Collaboration
19. Content Management System
20. Database Client
21. Database DBMS
22. Database JDBC Connection Pool
23. Database ORM
24. Development
25. EJB Server geronimo
26. EJB Server GlassFish
27. EJB Server JBoss 4.2.1
28. EJB Server resin 3.1.5
29. ERP CRM Financial
30. ESB
31. Forum
32. GIS
33. Graphic Library
34. Groupware
35. HTML Parser
36. IDE
37. IDE Eclipse
38. IDE Netbeans
39. Installer
40. Internationalization Localization
41. Inversion of Control
42. Issue Tracking
43. J2EE
44. JBoss
45. JMS
46. JMX
47. Library
48. Mail Clients
49. Net
50. Parser
51. PDF
52. Portal
53. Profiler
54. Project Management
55. Report
56. RSS RDF
57. Rule Engine
58. Science
59. Scripting
60. Search Engine
61. Security
62. Sevlet Container
63. Source Control
64. Swing Library
65. Template Engine
66. Test Coverage
67. Testing
68. UML
69. Web Crawler
70. Web Framework
71. Web Mail
72. Web Server
73. Web Services
74. Web Services apache cxf 2.0.1
75. Web Services AXIS2
76. Wiki Engine
77. Workflow Engines
78. XML
79. XML UI
Java
Java Tutorial
Java Open Source
Jar File Download
Java Articles
Java Products
Java by API
Photoshop Tutorials
Maya Tutorials
Flash Tutorials
3ds-Max Tutorials
Illustrator Tutorials
GIMP Tutorials
C# / C Sharp
C# / CSharp Tutorial
C# / CSharp Open Source
ASP.Net
ASP.NET Tutorial
JavaScript DHTML
JavaScript Tutorial
JavaScript Reference
HTML / CSS
HTML CSS Reference
C / ANSI-C
C Tutorial
C++
C++ Tutorial
Ruby
PHP
Python
Python Tutorial
Python Open Source
SQL Server / T-SQL
SQL Server / T-SQL Tutorial
Oracle PL / SQL
Oracle PL/SQL Tutorial
PostgreSQL
SQL / MySQL
MySQL Tutorial
VB.Net
VB.Net Tutorial
Flash / Flex / ActionScript
VBA / Excel / Access / Word
XML
XML Tutorial
Microsoft Office PowerPoint 2007 Tutorial
Microsoft Office Excel 2007 Tutorial
Microsoft Office Word 2007 Tutorial
Java Source Code / Java Documentation » Testing » KeY » de.uka.ilkd.key.proof.decproc 
Source Cross Reference  Class Diagram Java Document (Java Doc) 


java.lang.Object
   de.uka.ilkd.key.proof.decproc.DecisionProcedureSimplifyOp

DecisionProcedureSimplifyOp
abstract public class DecisionProcedureSimplifyOp (Code)


Field Summary
final public static  StringALL
    
final public static  StringAND
    
final public static  StringEQUALS
    
final public static  StringEQV
    
final public static  StringEX
    
final public static  StringFALSE
    
final public static  StringGEQ
    
final public static  StringGT
    
final public static  StringIMP
    
final public static  StringLEQ
    
final public static  StringLIMIT_FACTS
    
final public static  StringLT
    
final public static  StringMINUS
    
final public static  StringMULT
    
final public static  StringNOT
    
final public static  StringOR
    
final public static  StringPLUS
    
final public static  StringTRUE
    



Field Detail
ALL
final public static String ALL(Code)
the ususal 'forall' operator 'all' (be A a formula then 'all x.A' is true if and only if for all elements d of the universe A{x<-d} (x substitued with d) is true



AND
final public static String AND(Code)
the ususal 'and' operator '/\' (be A, B formulae then 'A /\ B' is true if and only if A is true and B is true



EQUALS
final public static String EQUALS(Code)
the ususal 'equality' operator '='



EQV
final public static String EQV(Code)
the ususal 'equivalence' operator '<->' (be A, B formulae then 'A <-> B' is true if and only if A and B have the same truth value



EX
final public static String EX(Code)
the ususal 'exists' operator 'ex' (be A a formula then 'ex x.A' is true if and only if there is at least one elements d of the universe such that A{x<-d} (x substitued with d) is true



FALSE
final public static String FALSE(Code)
the false constant



GEQ
final public static String GEQ(Code)
the ususal 'greater than or equal' operator '>='



GT
final public static String GT(Code)
the ususal 'greater than' operator '>'



IMP
final public static String IMP(Code)
the ususal 'implication' operator '->' (be A, B formulae then 'A -> B' is true if and only if A is false or B is true



LEQ
final public static String LEQ(Code)
the ususal 'less than or equal' operator '<='



LIMIT_FACTS
final public static String LIMIT_FACTS(Code)
some facts about byte_MAX and friends



LT
final public static String LT(Code)
the ususal 'less than' operator '<'



MINUS
final public static String MINUS(Code)



MULT
final public static String MULT(Code)



NOT
final public static String NOT(Code)
the ususal 'negation' operator '-'



OR
final public static String OR(Code)
the ususal 'or' operator '\/' (be A, B formulae then 'A \/ B' is true if and only if A is true or B is true



PLUS
final public static String PLUS(Code)
the usual arithmetic operations:



TRUE
final public static String TRUE(Code)
the true constant





Methods inherited from java.lang.Object
protected Object clone() throws CloneNotSupportedException(Code)(Java Doc)
public boolean equals(Object o)(Code)(Java Doc)
protected void finalize() throws Throwable(Code)(Java Doc)
final native public Class getClass()(Code)(Java Doc)
public int hashCode()(Code)(Java Doc)
final public void notify() throws IllegalMonitorStateException(Code)(Java Doc)
final public void notifyAll() throws IllegalMonitorStateException(Code)(Java Doc)
public String toString()(Code)(Java Doc)
final public void wait() throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)
final public void wait(long ms) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)
final public void wait(long ms, int ns) throws IllegalMonitorStateException, InterruptedException(Code)(Java Doc)

www.java2java.com | Contact Us
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.