public class G4ip.Context

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

public Context();

Context

public Context(Context init_context);

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

G4ip.Context.html