Master index
| Master index |
Index for Mateda2.0/functions/sat |
 EvaluateSAT | [valfun] = EvaluateSAT(solution) |
| LoadRandom3SAT | [Formulas] = loadSAT(n, mum_i) |
| MakeConfObjectivesFormulas | [Formulas]=MakeConfObjectivesFormulas(n,m,c,cfixed) |
| MakeIndObjectivesFormulas | [Formulas]=MakeIndObjectivesFormulas(n,m,c,cfixed,fixedvars) |
| MakeRandomFormulas | [Formulas]=MakeRandomFormulas(n,m,c) |
| MakeVarDepFormulas | [Formulas]=MakeVarDepFormulas(n,m,c,relatedvars,ratio) |