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