Search in sources :

Example 6 with Elemento

use of model.Elemento in project MatematicaDiscreta by Leoginski.

the class main method jbNaoPertenceActionPerformed.

//GEN-LAST:event_jbPertenceActionPerformed
private void jbNaoPertenceActionPerformed(java.awt.event.ActionEvent evt) {
    //GEN-FIRST:event_jbNaoPertenceActionPerformed
    Elemento elemento = StorageSession.encontraElemento((String) jcbConjunto1.getSelectedItem());
    Conjunto conjunto = StorageSession.encontraConjunto((String) jcbConjunto2.getSelectedItem());
    if (!StorageSession.isPertence(elemento, conjunto)) {
        JOptionPane.showMessageDialog(null, "VERDADEIRO");
    } else {
        JOptionPane.showMessageDialog(null, "FALSO");
    }
}
Also used : Elemento(model.Elemento) Conjunto(model.Conjunto)

Example 7 with Elemento

use of model.Elemento in project MatematicaDiscreta by Leoginski.

the class StorageSession method menorQue.

public static String menorQue(Conjunto dominio, Conjunto imagem, String nome1, String nome2, boolean relacao) {
    String nome = "";
    if (relacao) {
        nome = "< :" + nome1 + "☻" + nome2;
    } else {
        nome = "(< :" + nome1 + "→" + nome2 + ")";
    }
    Relacao menorQue = new Relacao(nome, dominio, imagem);
    for (Elemento obj1 : dominio.getConjunto()) {
        for (Elemento obj2 : imagem.getConjunto()) {
            if (obj1.getValor() < obj2.getValor()) {
                menorQue.addDupla(obj1, obj2);
            }
        }
    }
    menorQue.criaNotacao();
    relacoes.add(menorQue);
    return nome;
}
Also used : Elemento(model.Elemento) Relacao(model.Relacao)

Example 8 with Elemento

use of model.Elemento in project MatematicaDiscreta by Leoginski.

the class StorageSession method quadradoDe.

public static String quadradoDe(Conjunto dominio, Conjunto imagem, String nome1, String nome2, boolean relacao) {
    String nome = "";
    if (relacao) {
        nome = "x² :" + nome1 + "☻" + nome2;
    } else {
        nome = "(x² :" + nome1 + "→" + nome2 + ")";
    }
    Relacao quadradoDe = new Relacao(nome, dominio, imagem);
    for (Elemento obj1 : dominio.getConjunto()) {
        for (Elemento obj2 : imagem.getConjunto()) {
            if (obj1.getValor() == (obj2.getValor() * obj2.getValor())) {
                quadradoDe.addDupla(obj1, obj2);
            }
        }
    }
    quadradoDe.criaNotacao();
    relacoes.add(quadradoDe);
    return nome;
}
Also used : Elemento(model.Elemento) Relacao(model.Relacao)

Example 9 with Elemento

use of model.Elemento in project MatematicaDiscreta by Leoginski.

the class StorageSession method imprimeConjunto.

public static String imprimeConjunto(Conjunto obj) {
    if (obj.getConjunto().isEmpty()) {
        return obj.getNome() + " = {ø}";
    }
    String conjunto = obj.getNome() + " = {";
    for (Elemento ele : obj.getConjunto()) {
        conjunto += ele.getValor() + ",";
    }
    conjunto = conjunto.substring(0, conjunto.length() - 1);
    conjunto += "}";
    return conjunto;
}
Also used : Elemento(model.Elemento)

Example 10 with Elemento

use of model.Elemento in project MatematicaDiscreta by Leoginski.

the class StorageSession method igualA.

public static String igualA(Conjunto dominio, Conjunto imagem, String nome1, String nome2, boolean relacao) {
    String nome = "";
    if (relacao) {
        nome = "= :" + nome1 + "☻" + nome2;
    } else {
        nome = "(= :" + nome1 + "→" + nome2 + ")";
    }
    Relacao igualA = new Relacao(nome, dominio, imagem);
    for (Elemento obj1 : dominio.getConjunto()) {
        for (Elemento obj2 : imagem.getConjunto()) {
            if (obj1.getValor() == obj2.getValor()) {
                igualA.addDupla(obj1, obj2);
            }
        }
    }
    igualA.criaNotacao();
    relacoes.add(igualA);
    return nome;
}
Also used : Elemento(model.Elemento) Relacao(model.Relacao)

Aggregations

Elemento (model.Elemento)10 Relacao (model.Relacao)5 Conjunto (model.Conjunto)3 BufferedReader (java.io.BufferedReader)1 File (java.io.File)1 FileReader (java.io.FileReader)1 IOException (java.io.IOException)1 Matcher (java.util.regex.Matcher)1 Pattern (java.util.regex.Pattern)1 JFileChooser (javax.swing.JFileChooser)1 FileNameExtensionFilter (javax.swing.filechooser.FileNameExtensionFilter)1