Fmatrix Class Reference

A matrix of F formulas. More...

#include <tarski.h>

List of all members.

Public Member Functions
Fmatrix *	operator~ ()
Fmatrix *	operator! ()
Fmatrix *	operator * (Fmatrix *)
Fmatrix *	operator| (Fmatrix *)
Fvector *	operator[] (int)
F	operator++ ()
F	operator-- ()
Public Attributes
char *	name
int	N
int	M
Fvector **	rows

---

Detailed Description

A matrix of F formulas.

Definition at line 181 of file tarski.h.

---

Member Function Documentation

Fmatrix* Fmatrix::operator * (  Fmatrix *   )

Fmatrix* Fmatrix::operator! (   )

F Fmatrix::operator++ (   )

F Fmatrix::operator-- (   )

Fvector* Fmatrix::operator[] (  int   )

Fmatrix* Fmatrix::operator| (  Fmatrix *   )

Fmatrix* Fmatrix::operator~ (   )

---

Member Data Documentation

int Fmatrix::M

Definition at line 185 of file tarski.h. Referenced by Fm::M().

int Fmatrix::N

Definition at line 184 of file tarski.h. Referenced by Fm::N().

char* Fmatrix::name

Definition at line 183 of file tarski.h. Referenced by Fm::name().

Fvector** Fmatrix::rows

Definition at line 186 of file tarski.h. Referenced by Fm::rows().

---

The documentation for this class was generated from the following file:

• tarski.h

---