techniques.FOL
Class Quantification

java.lang.Object
  |
  +--techniques.FOL.Quantification

public class Quantification

extends java.lang.Object

Field Summary
static boolean	EXISTENTIAL
static boolean	UNIVERSAL

 

Constructor Summary

Quantification(boolean _quantifier, Variable _var)

 

Method Summary
boolean	isExistential()
boolean	isUniversal()
java.lang.String	toString()
Variable	variable()

 

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

 

Field Detail

EXISTENTIAL

public static boolean EXISTENTIAL

UNIVERSAL

public static boolean UNIVERSAL

Quantification

public Quantification(boolean _quantifier,
                      Variable _var)

isExistential

public boolean isExistential()

isUniversal

public boolean isUniversal()

variable

public Variable variable()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object