Frobby  0.9.5
Classes | Functions
MsmSlice.cpp File Reference
#include "stdinc.h"
#include "MsmSlice.h"
#include "TermConsumer.h"
#include "MsmStrategy.h"

Go to the source code of this file.

Classes

class  DoubleLcmPredicate
 

Functions

bool getTheOnlyTwoNonMax (Ideal::const_iterator it, const Exponent *&first, const Exponent *&second, Ideal::const_iterator end, const Term &lcm)
 

Function Documentation

◆ getTheOnlyTwoNonMax()

bool getTheOnlyTwoNonMax ( Ideal::const_iterator  it,
const Exponent *&  first,
const Exponent *&  second,
Ideal::const_iterator  end,
const Term lcm 
)

Definition at line 316 of file MsmSlice.cpp.