Kirk Rader  1.0-SNAPSHOT
Public Member Functions | Protected Member Functions | List of all members
us.rader.tt.formula.Biconditional Class Reference

"Equivalence" operator. More...

Inheritance diagram for us.rader.tt.formula.Biconditional:
Inheritance graph

Public Member Functions

 Biconditional (final Formula operand1, final Formula operand2)
 
boolean evaluate (final Map< Expression, Boolean > values)
 
Expression replaceVariable (final Variable boundVariable, final Expression factor)
 
- Public Member Functions inherited from us.rader.tt.formula.Connective
void toLaTeX (final PrintStream stream)
 
final String toString ()
 
- Public Member Functions inherited from us.rader.tt.formula.Operator
Set< ExpressiongetNodes ()
 
Set< ExpressiongetTerminalNodes ()
 
void printDigraph (final PrintStream stream, final int indent)
 
- Public Member Functions inherited from us.rader.tt.formula.Formula
abstract boolean evaluate (Map< Expression, Boolean > values)
 Evaluate this formula according to its truth table assuming the given values for its primitive terms. More...
 
final String toDigraph (final int indent) throws IOException
 
final void toDigraph (final PrintStream stream, final int indent)
 Write this formula's syntax tree as a Graphviz digraph. More...
 
final String toTruthTable (final int indent) throws IOException
 
final void toTruthTable (final PrintStream stream, final int indent) throws IOException
 Print this formula's truth table in LaTeX format to the given output stream. More...
 
- Public Member Functions inherited from us.rader.tt.formula.Expression
final boolean equals (final Object obj)
 Base equality on the string representation of a formula. More...
 
abstract Set< ExpressiongetNodes ()
 
abstract Set< ExpressiongetTerminalNodes ()
 
final int hashCode ()
 Base the hash code on the string representation of a formula. More...
 
abstract Expression replaceVariable (Variable boundVariable, Expression factor)
 Replace boundVariable with factor everywhere in this Expression. More...
 
final String toLaTeX () throws IOException
 
abstract void toLaTeX (PrintStream stream)
 Print the LaTeX representation of this object to the given stream. More...
 

Protected Member Functions

String getOperator ()
 
void printLaTeXOperator (final PrintStream stream)
 
- Protected Member Functions inherited from us.rader.tt.formula.Connective
 Connective (final Formula operand1, final Formula operand2)
 
- Protected Member Functions inherited from us.rader.tt.formula.Operator
 Operator (final Formula... operands)
 
abstract String getOperator ()
 
abstract void printLaTeXOperator (PrintStream stream)
 
- Protected Member Functions inherited from us.rader.tt.formula.Expression
 Expression ()
 Initialize nodeName. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from us.rader.tt.formula.Formula
static Formula parseFormula (final BufferedReader reader) throws IOException
 Parse the next Formula from the given buffered input stream. More...
 
static Formula parseFormula (final InputStream stream) throws IOException
 Parse the next Formula from the given input stream. More...
 
static Formula parseFormula (final String formula) throws IOException
 Parse the the given term. More...
 
- Static Public Member Functions inherited from us.rader.tt.formula.Expression
static Expression parseFactor (final BufferedReader reader) throws IOException
 Parse the next Expression from the given buffered input stream. More...
 
static Expression parseFactor (final InputStream stream) throws IOException
 Parse the next Expression from the given buffered input stream. More...
 
static Expression parseFactor (final String factor) throws IOException
 Parse the next Expression from the given buffered input stream. More...
 
- Static Protected Member Functions inherited from us.rader.tt.formula.Expression
static Expression parseVariableBindingOperator (final BufferedReader reader, final Class<? extends VariableBindingOperator > type, final char terminator) throws IOException
 Parse the next VariableBindingOperator or Description from the given buffered input stream. More...
 
static void printIndentation (final PrintStream stream, final int indent)
 Print the specified number of spaces to the given stream. More...
 
static int skipWhitespace (final BufferedReader reader) throws IOException
 Discard white space from the given buffered input stream. More...
 
- Protected Attributes inherited from us.rader.tt.formula.Operator
List< Formulaoperands
 The connective's operands. More...
 
- Protected Attributes inherited from us.rader.tt.formula.Expression
String nodeName
 Graphviz digraph node name. More...
 
- Static Package Functions inherited from us.rader.tt.formula.Expression
 [static initializer]
 

Detailed Description

"Equivalence" operator.

Definition at line 25 of file Biconditional.java.

Constructor & Destructor Documentation

◆ Biconditional()

us.rader.tt.formula.Biconditional.Biconditional ( final Formula  operand1,
final Formula  operand2 
)
Parameters
operand1First operand
operand2Second operand

Definition at line 34 of file Biconditional.java.

Referenced by us.rader.tt.formula.Biconditional.replaceVariable().

34  {
35 
36  super(operand1, operand2);
37 
38  }

Member Function Documentation

◆ evaluate()

boolean us.rader.tt.formula.Biconditional.evaluate ( final Map< Expression, Boolean >  values)
See also
Formula::evaluate

Definition at line 44 of file Biconditional.java.

References us.rader.tt.formula.Operator.operands.

44  {
45 
46  return operands.get(0).evaluate(values) == operands.get(1).evaluate(values);
47 
48  }
List< Formula > operands
The connective&#39;s operands.
Definition: Operator.java:33

◆ getOperator()

String us.rader.tt.formula.Biconditional.getOperator ( )
protected
See also
Operator::getOperator

Definition at line 65 of file Biconditional.java.

65  {
66 
67  return "<->";
68 
69  }

◆ printLaTeXOperator()

void us.rader.tt.formula.Biconditional.printLaTeXOperator ( final PrintStream  stream)
protected
See also
Operator::printLaTeXOperator

Definition at line 75 of file Biconditional.java.

75  {
76 
77  stream.print(" \\leftrightarrow ");
78 
79  }

◆ replaceVariable()

Expression us.rader.tt.formula.Biconditional.replaceVariable ( final Variable  boundVariable,
final Expression  factor 
)
See also
Expression::replaceVariable

Definition at line 54 of file Biconditional.java.

References us.rader.tt.formula.Biconditional.Biconditional(), and us.rader.tt.formula.Operator.operands.

54  {
55 
56  return new Biconditional((Formula) operands.get(0).replaceVariable(boundVariable, factor),
57  (Formula) operands.get(1).replaceVariable(boundVariable, factor));
58 
59  }
Biconditional(final Formula operand1, final Formula operand2)
List< Formula > operands
The connective&#39;s operands.
Definition: Operator.java:33

The documentation for this class was generated from the following file: