public class MatlabUtils
extends java.lang.Object
Constructor and Description |
---|
MatlabUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
|
static void |
printAntecedenceVerificationMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print antecedence verification matrix (1 if antecedence is satisfied, 0 otherwise)
|
static void |
printConditionalVerificationMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print conditional verification matrix (1 if antecedence and consequence are satisfied, 0 otherwise)
|
static void |
printConstraintMatrix(java.io.PrintStream out,
PclBeliefSet beliefSet,
java.util.Set<PossibleWorld> worlds)
Print constraint matrix for belief set and possible worlds to output stream.
|
static void |
printMEConsolidationProblem(java.io.PrintStream out,
int n,
java.lang.String p)
Print optimization problem corresponding to ME consolidation.
|
static void |
printMinimumViolationProblem(java.io.PrintStream out,
int n,
java.lang.String p)
Print optimization problem corresponding to minimal violation measure.
|
public static void printConstraintMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
out
- beliefSet
- worlds
- public static void printConditionalVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
out
- beliefSet
- worlds
- public static void printAntecedenceVerificationMatrix(java.io.PrintStream out, PclBeliefSet beliefSet, java.util.Set<PossibleWorld> worlds)
out
- beliefSet
- worlds
- public static void printMinimumViolationProblem(java.io.PrintStream out, int n, java.lang.String p)
out
- n
- number of worldsp
- normpublic static void printMEConsolidationProblem(java.io.PrintStream out, int n, java.lang.String p)
out
- n
- number of worldsp
- normpublic static void main(java.lang.String[] args) throws ParserException, java.io.IOException
args
- ParserException
java.io.IOException