Examples with Conjunto model.Conjunto used on opensource projects

Example 1 with Conjunto

use of model.Conjunto in project MatematicaDiscreta by Leoginski.

the class main method jbUniaoActionPerformed.

//GEN-LAST:event_jtfArquivoActionPerformed
private void jbUniaoActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_jbUniaoActionPerformed
    // TODO add your handling code here:
    Conjunto obj1 = StorageSession.encontraConjunto((String) jcbConjunto1.getSelectedItem());
    Conjunto obj2 = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
    Conjunto uniao = StorageSession.unirConjuntos(obj1, obj2);
    jcbConjunto1.addItem(uniao.getNome());
    jcbConjunto2.addItem(uniao.getNome());
    JOptionPane.showMessageDialog(null, StorageSession.imprimeConjunto(uniao));
}

Example 2 with Conjunto

use of model.Conjunto in project MatematicaDiscreta by Leoginski.

the class main method lbProdutoCartesianoActionPerformed.

//GEN-LAST:event_lbNaoContidoPropriamenteActionPerformed
private void lbProdutoCartesianoActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_lbProdutoCartesianoActionPerformed
    // TODO add your handling code here:
    Conjunto obj1 = StorageSession.encontraConjunto((String) jcbConjunto1.getSelectedItem());
    Conjunto obj2 = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
    JOptionPane.showMessageDialog(null, StorageSession.produtoCartesiano(obj1, obj2));
}

Example 3 with Conjunto

use of model.Conjunto in project MatematicaDiscreta by Leoginski.

the class main method lbNaoContidoPropriamenteActionPerformed.

//GEN-LAST:event_lbContidoPropriamenteActionPerformed
private void lbNaoContidoPropriamenteActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_lbNaoContidoPropriamenteActionPerformed
    // TODO add your handling code here:
    Conjunto obj1 = StorageSession.encontraConjunto((String) jcbConjunto1.getSelectedItem());
    Conjunto obj2 = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
    if (!StorageSession.isContidoPropriamente(obj1, obj2)) {
        JOptionPane.showMessageDialog(null, "VERDADEIRO");
    } else {
        JOptionPane.showMessageDialog(null, "FALSO");
    }
}

Example 4 with Conjunto

use of model.Conjunto in project MatematicaDiscreta by Leoginski.

the class main method jbPertenceActionPerformed.

//GEN-LAST:event_jcbConjunto2ActionPerformed
private void jbPertenceActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_jbPertenceActionPerformed
    // TODO add your handling code here:
    Elemento elemento = StorageSession.encontraElemento((String) jcbConjunto1.getSelectedItem());
    Conjunto conjunto = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
    if (StorageSession.isPertence(elemento, conjunto)) {
        JOptionPane.showMessageDialog(null, "PERTENCE");
    } else {
        JOptionPane.showMessageDialog(null, "NÃO PERTENCE");
    }
}

Example 5 with Conjunto

use of model.Conjunto in project MatematicaDiscreta by Leoginski.

the class main method btnQuadradoActionPerformed.

//GEN-LAST:event_btnIgualActionPerformed
private void btnQuadradoActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_btnQuadradoActionPerformed
    Conjunto obj1 = new Conjunto();
    Conjunto obj2 = new Conjunto();
    String nome1 = "";
    String nome2 = "";
    boolean relacao = false;
    if (StorageSession.encontraConjunto((String) jcbConjunto1.getSelectedItem()) != null && StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem()) != null) {
        obj1 = StorageSession.encontraConjunto((String) jcbConjunto1.getSelectedItem());
        obj2 = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
        nome1 = obj1.getNome();
        nome2 = obj2.getNome();
    } else {
        Relacao rel1 = StorageSession.getRelacaoPorNome((String) jcbConjunto1.getSelectedItem());
        Relacao rel2 = StorageSession.getRelacaoPorNome((String) jcbConjunto2.getSelectedItem());
        obj1 = rel1.getDominioRelacao();
        obj2 = rel2.getImagemRelacao();
        nome1 = rel1.getNome();
        nome2 = rel2.getNome();
        relacao = true;
    }
    String nome = StorageSession.quadradoDe(obj1, obj2, nome1, nome2, relacao);
    jcbConjunto1.addItem(nome);
    jcbConjunto2.addItem(nome);
    JOptionPane.showMessageDialog(null, StorageSession.getRelacaoPorNome(nome).getNotacao() + '\n' + StorageSession.getRelacaoPorNome(nome).getClassificacoes());
}