#BoolExp.h#:class BoolExp {
#BoolExp.h#:       BoolExp(){ }
#BoolExp.h#:       virtual ~BoolExp() { }
#BoolExp.h#:       virtual BoolExp* Sub(Term**) = 0;
#BoolExp.h#:class UnaryBOp : public BoolExp {
#BoolExp.h#:         BoolExp* operand;
#BoolExp.h#:         UnaryBOp(BoolExp* op) : operand(op) {}
#BoolExp.h#:class BinaryBOp : public BoolExp {
#BoolExp.h#:        BoolExp *left, *right;
#BoolExp.h#:        BinaryBOp(BoolExp* l, BoolExp* r) : left(l), right(r) {}
#BoolExp.h#:         Conjunction(BoolExp *l, BoolExp *r) : BinaryBOp(l,r) {}
#BoolExp.h#:         virtual BoolExp* Sub(Term* *actuals){
#BoolExp.h#:         Disjunction(BoolExp *l, BoolExp *r) : BinaryBOp(l,r) {}
#BoolExp.h#:         virtual BoolExp* Sub(Term* *actuals){
#BoolExp.h#:         Negation(BoolExp* op) : UnaryBOp(op) {}
#BoolExp.h#:         virtual BoolExp* Sub(Term* *actuals){
#BoolExp.h#:class Atomic : public BoolExp {
#BoolExp.h#:         virtual BoolExp* Sub(Term* *actuals){
BExpInput.c:BoolExp* BExp_Input::E() {
BExpInput.c:BoolExp* first = T();
BExpInput.c:   BoolExp* second = E();
BExpInput.c:BoolExp* BExp_Input::T() {
BExpInput.c:BoolExp* first = F();
BExpInput.c:   BoolExp* second = T();
BExpInput.c:BoolExp* BExp_Input::F() {
BExpInput.c:   BoolExp* op = P();
BExpInput.c:BoolExp* BExp_Input::P() {
BExpInput.c:   BoolExp* res = E();
BExpInput.c:   BoolExp* at = new Atomic(lterm,rterm);
BExpInput.c:        BoolExp* e = bin.Parse();
BExpInput.h:#include "BoolExp.h"
BExpInput.h:          BoolExp* E();
BExpInput.h:          BoolExp* T();
BExpInput.h:          BoolExp* F();
BExpInput.h:          BoolExp* P();
BExpInput.h:          BoolExp* Parse() { return E(); }
BoolExp.c:#include "BoolExp.h"
BoolExp.h:class BoolExp {
BoolExp.h:       BoolExp(){ }
BoolExp.h:       virtual ~BoolExp() { }
BoolExp.h:       virtual BoolExp* Sub(Term**) = 0;
BoolExp.h:class UnaryBOp : public BoolExp {
BoolExp.h:         BoolExp* operand;
BoolExp.h:         UnaryBOp(BoolExp* op) : operand(op) {}
BoolExp.h:class BinaryBOp : public BoolExp {
BoolExp.h:        BoolExp *left, *right;
BoolExp.h:        BinaryBOp(BoolExp* l, BoolExp* r) : left(l), right(r) {}
BoolExp.h:         Conjunction(BoolExp *l, BoolExp *r) : BinaryBOp(l,r) {}
BoolExp.h:         virtual BoolExp* Sub(Term* *actuals){
BoolExp.h:         Disjunction(BoolExp *l, BoolExp *r) : BinaryBOp(l,r) {}
BoolExp.h:         virtual BoolExp* Sub(Term* *actuals){
BoolExp.h:         Negation(BoolExp* op) : UnaryBOp(op) {}
BoolExp.h:         virtual BoolExp* Sub(Term* *actuals){
BoolExp.h:class Atomic : public BoolExp {
BoolExp.h:         virtual BoolExp* Sub(Term* *actuals){
Cond.h:#include "BoolExp.h"
Cond.h:          BoolExp* antecedent; 
Cond.h:          Cond(BoolExp* a,Term* c) : antecedent(a), consequent(c) {}
Cond.h:          BoolExp* GetAntecedent() { return antecedent; }
Function.c:BoolExp* ant;
Function.h:#include "BoolExp.h"
FunctionInput.c:BoolExp* bex = bi.Parse();
compile:Function.o FunTree.o Term.o TermInput.o BoolExp.o BExpInput.o temps.o Error.o
makefile:       Fun.o Function.o FunTree.o Term.o TermInput.o BoolExp.o BExpInput.o \
makefile:Function.o: Function.h Cond.h Term.h Parameter.h BoolExp.h List.h Fun.h Error.h
makefile:BoolExp.o: BoolExp.h  Defs.h Term.h
makefile:	g++ -c BoolExp.c
makefile:BExpInput.o: BExpInput.h BoolExp.h Error.h TermInput.h
makefile:Cond.o: Cond.h Term.h BoolExp.h
