time_constraint.constr_eval
Class vardom

java.lang.Object
  |
  +--time_constraint.constr_eval.vardom

public class vardom

extends java.lang.Object

The vardom class represents variables and domains of existential and universal quantifier.

Since:

Version 1.2

Version:

1.0

Author:

Daniela Olivieri

Field Summary

char[]	dom Represents the variable domain.
char	funz Represents the identifier of the existential or universal operator.
char	var Represents the variable name.

Constructor Summary

vardom()
Creates a vardom object.

Method Summary

void	createdom(java.lang.String st_var) Initializes a vardom using the informations contained in st_var.

Methods inherited from class java.lang.Object

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

Field Detail

var

public char var

Represents the variable name.

Since:

Version 1.0

funz

public char funz

Represents the identifier of the existential or universal operator. "f" represents the existential operator and "e" the universal one.

Since:

Version 1.0

dom

public char[] dom

Represents the variable domain. It can contains at most 5 elements.

Since:

Version 1.0

Constructor Detail

vardom

public vardom()

Creates a vardom object.

Since:

Version 1.0

Method Detail

createdom

public void createdom(java.lang.String st_var)

Initializes a vardom using the informations contained in st_var.

Parameters:

st_var - is a String containing variables and domain information.

An example of st_var:

"X{A/B/C}"

where X is the variable and A, B, C are possible values of X, names of client or server.

Since:

Version 1.0