Uses of Class
org.colomoto.biolqm.helper.implicants.Formula

Packages that use Formula

Package	Description
org.colomoto.biolqm.helper.implicants
org.colomoto.biolqm.tool.trapspaces

Uses of Formula in org.colomoto.biolqm.helper.implicants

Methods in org.colomoto.biolqm.helper.implicants that return Formula

Modifier and Type	Method and Description
Formula	MDD2PrimeImplicants.getPrimes(int f, int t) Extract the prime implicants from a MDD-represented function.
Formula	Formula.negatePrimes()
static Formula	Formula.read(Reader reader)
static Formula	Formula.readintArray(int[][] states)

Methods in org.colomoto.biolqm.helper.implicants with parameters of type Formula

Modifier and Type	Method and Description
boolean	Formula.equals(Formula f)

Uses of Formula in org.colomoto.biolqm.tool.trapspaces

Methods in org.colomoto.biolqm.tool.trapspaces with parameters of type Formula

Modifier and Type	Method and Description
void	TrapSpaceSolverASP.add_variable(int idx, Formula formula, Formula not_formula)
void	TrapSpaceSolverBDD.add_variable(int idx, Formula formula, Formula not_formula)
void	TrapSpaceSolverFunctionASP.add_variable(int idx, Formula formula, Formula not_formula)
void	TrapSpaceSolver.add_variable(int idx, Formula formula, Formula not_formula)