A B C D E F G I L M N O P R S T U V W

P

parser - package parser

PartitionAgent - Class in model

Class that represents the structure of groups in the formulae base.

PartitionAgent(int, String, List<Formula>) - Constructor for class model.PartitionAgent

PartitionAgent(int, List<Formula>) - Constructor for class model.PartitionAgent

PartitionAgent(int, String) - Constructor for class model.PartitionAgent

PartitionAgent(int) - Constructor for class model.PartitionAgent

Problem - Class in model

This class belongs to the core classes of PRISM.

Problem(FormulaeBase, ShapleyValueSet, boolean, boolean) - Constructor for class model.Problem

Problem(FormulaeBase, ShapleyValueSet, boolean) - Constructor for class model.Problem

Problem(FormulaeBase, ShapleyValueSet) - Constructor for class model.Problem