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

D

description - Variable in class com.meyling.principia.argument.ArgumentException

description of reason for exception

description - Variable in class com.meyling.principia.io.ParsingException

description of reason for exception

Description - class com.meyling.principia.module.Description.

A module description.

Description(Argument[]) - Constructor for class com.meyling.principia.module.Description

Constructs a module description.

destination - Variable in class com.meyling.principia.io.Output

where the output goes

DIFFERENT_PATTERN_VARIABLES - Static variable in interface com.meyling.principia.module.ModuleConstants

Disjunction - class com.meyling.principia.logic.basic.Disjunction.

Disjunction of formulas.

DISJUNCTION - Static variable in class com.meyling.principia.logic.basic.BasicCreator

string for a Disjunction

Disjunction(Argument[]) - Constructor for class com.meyling.principia.logic.basic.Disjunction

Constructs a logical disjunction.

Disjunction(Formula, Formula) - Constructor for class com.meyling.principia.logic.basic.Disjunction

Constructs a logical disjunction.