diff -r 345dd18f020e -r 907b1fff5637 Prover/Doc/G4ip.Context.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Prover/Doc/G4ip.Context.html Thu Mar 15 10:07:28 2012 +0000
@@ -0,0 +1,144 @@
+
+
+
+
+
+
+public class G4ip.Context
+
+
+
+
+
+[all packages]
+[package G4ip]
+[class hierarchy]
+[index]
+
+
+public class G4ip.Context
+(source file: Contexts.pizza)
+
+java.lang.Object
+ |
+ +----java.util.Vector
+ |
+ +----G4ip.Context
+
+
+
+public class Context
+ extends Vector
+
+
+ - Contexts act as multiset.
+ Typical contexts in logical rules are Gamma, Delta, etc.
+
+ - Author:
+ - Christian Urban
+
+
+
+
+ 
Context(Context)
+ -
+
- Context()
+
-
+
+
+
+ 
add(Form, Form)
+ - returns a contexts with two additional formulae at the beginning
+
- add(Form)
+
- returns a context with one additional formula at the beginning
+
- includes(Form)
+
- tests whether a context contains a specific atom
+
- makeString()
+
- should be toString, but this is a "final" method in Vector
+
+
+
Context
+
+public Context();
+
+
+ Context
+
+public Context(Context init_context);
+
+
+
+
makeString
+
+public String makeString();
+
+
+ - should be toString, but this is a "final" method in Vector
+
+ - Overrides:
+
+ - makeString in class Context
+
+
+ add
+
+public Context add(Form new_formula);
+
+
+ - returns a context with one additional formula at the beginning
+
+ - Parameters:
+ - new_formula - a formula
+ - Overrides:
+
+ - add in class Context
+
+
+ add
+
+public Context add(Form new_formula1,
+ Form new_formula2);
+
+
+ - returns a contexts with two additional formulae at the beginning
+
+ - Parameters:
+ - new_formula1,new_formula2 - two formulae
+ - Overrides:
+
+ - add in class Context
+
+
+ includes
+
+public boolean includes(Form a);
+
+
+ - tests whether a context contains a specific atom
+
+ - Parameters:
+ - a - a formula
+ - Overrides:
+
+ - includes in class Context
+
+
+
+
+[all packages]
+[package G4ip]
+[class hierarchy]
+[index]
+
+G4ip.Context.html
+
+