uk.ac.manchester.cs.jfact.kernel.todolist

Class ToDoPriorMatrix

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix

All Implemented Interfaces:

Serializable

@PortedFrom(file="PriorityMatrix.h",
            name="ToDoPriorMatrix")
public class ToDoPriorMatrix
extends Object
implements Serializable

priority matrix

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	nRegularOptions number of regular options (o- and NN-rules are not included)

Constructor Summary

Constructors

Constructor and Description
ToDoPriorMatrix()

Method Summary

Methods

Modifier and Type	Method and Description
int	getIndex(DagTag Op, boolean Sign, boolean NominalNode)
void	initPriorities(String options) Auxiliary class to get priorities on operations

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

nRegularOptions

@PortedFrom(file="PriorityMatrix.h",
            name="nRegularOps")
public static final int nRegularOptions

number of regular options (o- and NN-rules are not included)

See Also:

Constant Field Values

Constructor Detail

ToDoPriorMatrix

public ToDoPriorMatrix()

Method Detail

initPriorities

@PortedFrom(file="PriorityMatrix.h",
            name="initPriorities")
public void initPriorities(String options)

Auxiliary class to get priorities on operations

Parameters:

options - options

getIndex

@PortedFrom(file="PriorityMatrix.h",
            name="getIndex")
public int getIndex(DagTag Op,
                              boolean Sign,
                              boolean NominalNode)

Parameters:

Op - Op

Sign - Sign

NominalNode - NominalNode

Returns:

index