Uses of Interface
de.upb.swt.mcie.robdds.Assignment

Packages that use Assignment
de.upb.swt.mcie.robdds This package implements reduced ordered binary decision diagrams (ROBDDs). 
 

Uses of Assignment in de.upb.swt.mcie.robdds
 

Classes in de.upb.swt.mcie.robdds that implement Assignment
 class HashAssignment
          This class implements an Assignment.
 

Methods in de.upb.swt.mcie.robdds that return Assignment
 Assignment TerminalNode.getAssignment()
          Returns an assignment for which the ROBDD evaluates to true.
abstract  Assignment ROBDD.getAssignment()
          Returns an assignment for which the ROBDD evaluates to true.
 Assignment InnerNode.getAssignment()
          Returns an assignment for which the ROBDD evaluates to true.
 

Methods in de.upb.swt.mcie.robdds with parameters of type Assignment
 ROBDD TerminalNode.eval(Assignment ass)
          Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates.
abstract  ROBDD ROBDD.eval(Assignment ass)
          Evaluates the ROBDD in the given assignment ass, where the result is the ROBDD node at which the evaluation terminates.
 ROBDD InnerNode.eval(Assignment ass)
          Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates.